conf.researchr.org / Thomas Arts
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