conf.researchr.org / Thomas Arts

Not registered as user yet

Name: Thomas Arts

Affiliation: Quviq

Personal website: http://www.quviq.com

Contributions

Erlang 2019Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track
Programme Committee in Program Committee within the Erlang 2019-track
ECOOP 2015Author of QuickCheck: from invention to product within the Curry On-track