Registered user since Wed 8 Dec 2021

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

Contributions

POPL 2022 Armed cats: formal concurrency modelling at Arm
Show activities from other conferences

Using general profile