Certified Programs and Proofs
Subtitle: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Publisher: Springer
Published: Jan 02, 2013
Format: paperback
Number of pages: 316
ISBN-13: 9783642353093
Notes: Source title: Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings