OtiumSessione
Sessione
Non abbiamo ancora una biografia di Orna Grumberg.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Model checking
2018
Tools and Algorithms for the Construction and Analysis of Systems
2007
Model Checking, Second Edition
2018
Languages : from Formal to Natural
2009
Languages From Formal to Natural Lecture Notes in Computer Science
2009
Computer Aided Verification
1997
25 Years of Model Checking
2008
25 Years Of Model Checking History Achievements Perspectives
2008