Registered user since Fri 25 Jun 2021
Name:Hugo Moreau
Country:France
Affiliation:LRDE
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