Certified Programs and Proofs : Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13, 2013, Proceedings
ISBN: 9783319035451
Information Available:
Summary
Inside Flap
Copyright held by Baker & Taylor.