Formal Verification Of Objectoriented Software International Conference Revised Selected Papers | lit.salon