By the same authors

Abstract Testing, Proof and Automation: An Integrated Approach

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalCiteseer
DatePublished - 2000
Original languageEnglish

Bibliographical note

Query date: 14/01/2011

Discover related content

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

View graph of relations