Title: Formal Verification Of Objectoriented Software International Conference Revised Selected Papers
Subjects: Computer software, Object-oriented methods (computer science), System design