By the same authors

From the same journal

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

Research output: Contribution to journalArticlepeer-review

Standard

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. / Cavalcanti, Ana; Naumann, David A.

In: IEEE Trans. Software Eng., Vol. 26, No. 8, 2000, p. 713-728.

Research output: Contribution to journalArticlepeer-review

Harvard

Cavalcanti, A & Naumann, DA 2000, 'A Weakest Precondition Semantics for Refinement of Object-Oriented Programs', IEEE Trans. Software Eng., vol. 26, no. 8, pp. 713-728. <http://www.computer.org:80/tse/ts2000/e0713abs.htm>

APA

Cavalcanti, A., & Naumann, D. A. (2000). A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng., 26(8), 713-728. http://www.computer.org:80/tse/ts2000/e0713abs.htm

Vancouver

Cavalcanti A, Naumann DA. A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Trans. Software Eng. 2000;26(8):713-728.

Author

Cavalcanti, Ana ; Naumann, David A. / A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. In: IEEE Trans. Software Eng. 2000 ; Vol. 26, No. 8. pp. 713-728.

Bibtex - Download

@article{0142b58682fc4e7fb2c16e864b96bddf,
title = "A Weakest Precondition Semantics for Refinement of Object-Oriented Programs",
author = "Ana Cavalcanti and Naumann, {David A.}",
year = "2000",
language = "Undefined/Unknown",
volume = "26",
pages = "713--728",
journal = "IEEE Trans. Software Eng.",
number = "8",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

AU - Cavalcanti, Ana

AU - Naumann, David A.

PY - 2000

Y1 - 2000

M3 - Article

VL - 26

SP - 713

EP - 728

JO - IEEE Trans. Software Eng.

JF - IEEE Trans. Software Eng.

IS - 8

ER -