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