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.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer Science.
Symbolic and Algebraic Manipulation.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software- Verification
Computer science- Mathematics