Certified Programs and Proofs
Subtitle: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9783319035451