Orna Grumberg
5 published titles
Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540631666
- Springer
- 1997
- Details
Model checking
(Contributor)
1 edition
- ISBN: 0262032708
- MIT Press
- 1999
- Details
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
(Contributor)
1 edition
- ISBN: 9783540712084
- Springer
- 2007
- Details
Formal logical methods for system security and correctness
(Contributor)
1 edition
- ISBN: 9781586038434
- IOS Press
- 2008
- Details
Software safety and security : tools for analysis and verification
(Contributor)
1 edition
- ISBN: 9781614990277
- IOS Press
- 2012
- Details
