Verification of object-oriented programs: A transformational approach

The work

TitleVerification of object-oriented programs: A transformational approach
AuthorsKrzysztof R. Apt; Frank S. de Boer; Ernst-Rüdiger Olderog; Stijn de Gouw
Typearticle
Year2012
Citekeyapt2012verification

Where it appeared

Published inJournal of Computer and System Sciences
Volume78
Issue3
Pages823--852

Where this came from

How it got herethe agent went looking · found via bibtex
First seen2026-08-05
Standingendorsed
Approved2026-08-07
In: Journal of Computer and System Sciences venue

Cite it as

@article{apt2012verification,
  title = {Verification of object-oriented programs: A transformational approach},
  author = {Krzysztof R. Apt and Frank S. de Boer and Ernst-Rüdiger Olderog and Stijn de Gouw},
  year = {2012},
  journal = {Journal of Computer and System Sciences},
  volume = {78},
  number = {3},
  pages = {823--852},
}

This record lives at https://refs.drheap.org/apt2012verification/ and will keep doing so.