A verification exercise relating to specification styles in LOTOS

    Research output: Book/ReportReportOther research output

    19 Downloads (Pure)

    Fingerprint Dive into the research topics of 'A verification exercise relating to specification styles in LOTOS'. Together they form a unique fingerprint.