Grumberg, Orna.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logics and languages for reliability and security
by:
Grumberg, Orna.; Spanfelner, Bernd.; Workshop on the Preservation of Stability under Discretization ((2001 :); Esparza, Javier.
(Language materials, printed)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
SpringerLink (Online service); Grumberg, Orna.
(Language materials, printed)
Software safety and security = tools for analysis and verification /
by:
NATO Emerging Security Challenges Division.; Workshop on the Preservation of Stability under Discretization ((2001 :); Nipkow, Tobias, (1958-); Hauptmann, Benedikt.; Grumberg, Orna.
(Language materials, printed)
Subjects