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 journal › Article › Academic › peer-review

9 Citations (Web of Science)

Original language	English
Pages (from-to)	823-852
Number of pages	30
Journal	Journal of Computer and System Sciences
Volume	78
Issue number	3
DOIs	https://doi.org/10.1016/j.jcss.2011.08.002
Publication status	Published - May 2012
Externally published	Yes

Access to Document

@article{a55bc476aaa1432d86fcb11760e64cb6,

title = "Verification of object-oriented programs: A transformational approach",

author = "Apt, {Krzysztof R.} and Boer, {Frank S. de} and Ernst-R{\"u}diger Olderog and Gouw, {Stijn de}",

year = "2012",

month = may,

doi = "10.1016/j.jcss.2011.08.002",

language = "English",

volume = "78",

pages = "823--852",

journal = "Journal of Computer and System Sciences",

issn = "1090-2724",

publisher = "Academic Press Inc.",

number = "3",

}

TY - JOUR

T1 - Verification of object-oriented programs

T2 - A transformational approach

AU - Apt, Krzysztof R.

AU - Boer, Frank S. de

AU - Olderog, Ernst-Rüdiger

AU - Gouw, Stijn de

PY - 2012/5

Y1 - 2012/5

U2 - 10.1016/j.jcss.2011.08.002

DO - 10.1016/j.jcss.2011.08.002

M3 - Article

SN - 1090-2724

VL - 78

SP - 823

EP - 852

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

IS - 3

ER -