Orna Grumberg
Orna Grumberg
7 books in the database
Books
Computer Aided VerificationOrna Grumberg
Computer Aided Verification
Orna Grumberg · 1997
25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg
25 Years Of Model Checking History Achievements Perspectives
Orna Grumberg · 2008
Model Checking, Second EditionOrna Grumberg
Model Checking, Second Edition
Orna Grumberg · 2018
Languages From Formal to Natural Lecture Notes in Computer ScienceOrna Grumberg
Languages From Formal to Natural Lecture Notes in Computer Science
Orna Grumberg · 2009
Languages : from Formal to NaturalOrna Grumberg
Languages : from Formal to Natural
Orna Grumberg · 2009
25 Years of Model CheckingOrna Grumberg
25 Years of Model Checking
Orna Grumberg · 2008
Tools and Algorithms for the Construction and Analysis of SystemsOrna Grumberg
Tools and Algorithms for the Construction and Analysis of Systems
Orna Grumberg · 2007
Co-authored books and collections
Books that list Orna Grumberg among their authors but not as the lead author: co-written works, collections and compilations.
