Certified Programs and Proofs
Subtitle: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
Publisher: Springer London, Limited
Published: 2011
Language: eng
ISBN-13: 9783642253799