Languages
Hawblitzel, Chris.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Miller, Dale.; Hawblitzel, Chris.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Formal methods (Computer science)
Artificial Intelligence (incl. Robotics)
Computer Science.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software- Verification
Computer science- Mathematics