Home > Authors > Stefania Gnesi

Stefania Gnesi

All books by Stefania Gnesi

(Displaying 1 Book)

Critical Systems : Formal Methods and Automated Verification

Critical Systems : Formal Methods and Automated Verification

Maurice H. Ter Beek

Looking for another book by Stefania Gnesi? Search for the book by title.