Not registered as user yet

Name:Alexandre Kirszenberg
Country:France
Affiliation:LRDE

Contributions

SPIN 2021 Author of Go2Pins: a framework for the LTL verification of Go programs within the SPIN-track