Registered user since Wed 8 Dec 2021

Name:Antoine Hacquard
Country:France
Affiliation:EPITA, LRDE

Contributions

POPL 2022 Author of Armed cats: formal concurrency modelling at Arm within the POPL-track