By Kupferman O.   Grumberg O.   in Information and Computation

ISSN:0890-5401|125|1|62-69

Academic Press‎(1996)‎

Access to resources Favorite 12.341314

Formal Logical Methods for System Security and Correctness‎

By Grumberg O.;Nipkow T.;Pfaller C.  

ISBN:9781607503156

Ios Press‎(2008)‎

Access to resources Favorite 9.712091

Logics and Languages for Reliability and Security‎

By Esparza J.;Spanfelner B.;Grumberg O.  

ISBN:9781607501008

Ios Press‎(2010)‎

Access to resources Favorite 9.712091

Software Safety and Security‎

By Nipkow T.;Grumberg O.;Hauptmann B.  

ISBN:9781614990284

Ios Press‎(2012)‎

Access to resources Favorite 9.712091

Software Systems Safety‎

By Grumberg > O.;Seidl 3 > H.;Irlbeck 4 > M.  

ISBN:9781614993858

Ios Press‎(2014)‎

Access to resources Favorite 7.941374