Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Arts
conf.researchr.org general profile
ECOOP 2015 profile
ICFP 2019 profile
ICFP 2023 profile
Registered user since Thu 13 Aug 2020
Name:
Thomas Arts
Affiliation:
Quviq
Personal website:
http://www.quviq.com
Contributions
2023
Erlang
PC Member in Program Committee within the Erlang 2023-track
2019
Erlang
Author of Gaining Trust by Tracing Security Protocols within the Erlang 2019-track
Programme Committee in Program Committee within the Erlang 2019-track
2015
ECOOP
Author of QuickCheck: from invention to product within the Curry On-track
Share
x
Mon 30 Dec 18:04