ETAPS 2019 (series) / Sergio Saponara
Not registered as user yet
Name:Sergio Saponara
Affiliation:University of Pisa, Italy
Contributions
InterAVT 2019 | FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile