Formal Verification of Object-oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
ISBN: 9783642317620



Information Available:
Summary
Cover Image





Copyright held by Baker & Taylor.