Roberto Bagnara

Roberto Bagnara

Department of Mathematical, Physical and Computer Sciences - University of Parma, Italy
Verifierad e-postadress på cs.unipr.it
Citerat av 2482
Software verificationVerification of critical … Formal semiformal and informal methods for the analysis and …