Certified Programs and Proofs : First International Conference, Cpp 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
ISBN: 9783642253799
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.