Certified Programs and Proofs

Format:: e-book
Title:: Certified Programs and Proofs
Author:: Hawblitzel; Miller, Dale
Language:: English
Publisher:: Springer Berlin Heidelberg 2012
ISBN:: 3-642-35307-X
3-642-35308-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:3400000000102898?locale=en