👤

Orna Grumberg

5 books

Books by Orna Grumberg

Model checking
Model checking
2018
Model Checking, Second Edition
Model Checking, Second Edition
2018
Languages : from Formal to Nat
Languages : from Formal to Natural
2009
Languages From Formal to Natural Lecture Notes in Computer Science
Languages From Formal to Natural Lecture Notes in Computer Science
2009
25 Years Of Model Checking History Achievements Perspectives
25 Years Of Model Checking History Achievements Perspectives
2008