Computer Aided Verification : 22nd International Conference, Cav 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings
ISBN: 9783642142956
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.