Formal Verification Of Objectoriented Software International Conference Revised Selected Papers by Bernhard Beckert | Menrva Books | MenrvaBooks