Chris Hawblitzel
AuthID: R-00K-PFZ
1
TITLE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
AUTHORS: Chris Hawblitzel; Dale Miller;
PUBLISHED: 2012, SOURCE: CPP, VOLUME: 7679
AUTHORS: Chris Hawblitzel; Dale Miller;
PUBLISHED: 2012, SOURCE: CPP, VOLUME: 7679
INDEXED IN: 
DBLP
DBLP