By the same authors

The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems

Research output: Book/ReportBook

Author(s)

Department/unit(s)

Publication details

DatePublished - 1989
PublisherButterworth Scientific
Original languageEnglish

Discover related content

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

View graph of relations