conf.researchr.org / Antoine Hacquard
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 |
Registered user since Wed 8 Dec 2021
Contributions
| POPL 2022 | Author of Armed cats: formal concurrency modelling at Arm within the POPL-track |