Not registered as user yet
Name:Alexandre Kirszenberg
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