Verification of object-oriented programs: A transformational approach

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Stijn de Gouw

Research output: Contribution to journalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Verification of object-oriented programs: A transformational approach'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science