By the same authors

From the same journal

A Weakest Precondition Semantics for Refinement of Object-Oriented Programs

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalIEEE Trans. Software Eng.
DatePublished - 2000
Issue number8
Volume26
Number of pages16
Pages (from-to)713-728
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations