Grumberg, Orna.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal logical methods for system security and correctness
by:
Grumberg, Orna.; Nipkow, Tobias, (1958-); Pfaller, Christian.
(Language materials, printed)
Computer aided verification = 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings /
by:
SpringerLink (Online service); CAV (Conference) (1997 :); Grumberg, Orna.
(Language materials, printed)
Logics and languages for reliability and security
by:
Esparza, Javier.; Spanfelner, Bernd.; Grumberg, Orna.
(Language materials, printed)
Software safety and security = tools for analysis and verification /
by:
Nipkow, Tobias, (1958-); Grumberg, Orna.; Hauptmann, Benedikt.; NATO Emerging Security Challenges Division.
(Electronic resources)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
Grumberg, Orna.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Integrated circuits- Verification
Computer systems- Reliability
Logics and Meanings of Programs.
Electronic digital computers- Evaluation
Programming languages (Electronic computers)
Computer logic
Computer security
Computer Science.
Arithmetic and Logic Structures.
Computer software- Verification