Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Antoine Martin
conf.researchr.org general profile
ECOOP and ISSTA 2021 profile
Registered user since Tue 6 Jul 2021
Name:
Antoine Martin
Country:
France
Affiliation:
EPITA, LRDE
Personal website:
https://lrde.epita.fr/~amartin/
Contributions
2021
SPIN
Author of Go2Pins: a framework for the LTL verification of Go programs within the SPIN-track
Share
x
Sun 24 Nov 11:02