Cook, Byron.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Computer aided verification22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings /
by:
(1998 :); Cook, Byron.; Jackson, Paul.; SpringerLink (Online service); Touili, Tayssir.
(Electronic resources)
Formal methods for industrial critical systems14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings /
by:
(1998 :); Alpuente, Maria.; Cook, Byron.; Joubert, Christophe.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Electronic digital computers
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Computer Communication Networks.