Verification of Object-oriented Software : The Key Approach
ISBN: 9783540690610
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.