Registered user since Tue 6 Jul 2021
Name:Antoine Martin
Country:France
Affiliation:EPITA, LRDE
Personal website:https://lrde.epita.fr/~amartin/
Contributions
| SPIN 2021 | Go2Pins: a framework for the LTL verification of Go programs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile