• Sign in
  • Sign up
conf.researchr.org / Thomas Arts
  • ECOOP 2015 profile
  • ICFP 2019 profile
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

Share
xMon 6 Feb 12:53
using conf.researchr.org (v1.58.0)
Support page
Sign Up