Questions and Answers About Ten Formal Methods

Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel, Andrew Martin, Adrian Smith, Ulrich Ultes-Nitsche, Bob Walters

    Research output: Book/ReportReportAcademic

    58 Downloads (Pure)


    Dive into the research topics of 'Questions and Answers About Ten Formal Methods'. Together they form a unique fingerprint.

    Engineering & Materials Science