Orna Grumberg
Orna Grumberg has written at least 2 books. Their most popular book is Languages: From Formal to Natural with 0 saves with an average rating of -⭐.
Languages: From Formal to Natural
ByOrna Grumberg,Michael Kaminski,+2 more
2009 • 245 pages
25 Years of Model Checking
ByOrna Grumberg
2008 • 238 pages