Certified Programs And Proofs First International Conference Cpp 2011 Kenting Taiwan December 79 2011 Proceedings
Publisher: Springer
Published: 2011
ISBN-13: 9783642253782