-
Bib ID# 32379
ISBN: 9783642353086
UPC: 10.1007/978-3-642-35308-6
Title: Certified Programs and ProofsSecond International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings /
Author: Hawblitzel, Chris.
Publication Info:
Item Type: Language material