Verification of Object-Oriented Software. the KeY Approach
Verification of Object-Oriented Software. the KeY Approach
2.6 hrs read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Bernhard Beckert
Deductive Software Verificatio
Deductive Software Verification - the KeY Book
Deductive Software Verificatio
Deductive Software Verification : Future Perspectives
Formal Verification of Object-Oriented Software
Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Logic of Software. a Tasting Menu of Formal Methods
Verification of object-oriented software