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

Original languageEnglish
Pages (from-to)823-852
Number of pages30
JournalJournal of Computer and System Sciences
Volume78
Issue number3
DOIs
Publication statusPublished - May 2012
Externally publishedYes

Fingerprint

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

Cite this