کتاب های O. Grumberg
Formal Logical Methods for System Security and Correctness
Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller, 2008
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
25 Years of Model Checking: History, Achievements, Perspectives
Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.), 1995
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007
Software Systems Safety
O. Grumberg, 2014
A Mercadoria Mais Preciosa
Jean-Claude Grumberg
Hebrew Gothic: History and the Poetics of Persecution
Karen Grumberg, 2019
