Certified Programs and Proofs : Second International Conference, Cpp 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
ISBN: 9783642353086
Information Available:
Cover Image
Copyright held by Baker & Taylor.