Thomas Arts -

Registered user since Thu 13 Aug 2020

Name: Thomas Arts

Affiliation: Quviq

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

Contributions

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