Work-in-progress Assume-guarantee reasoning with ioco

L. Brandan Briones, Corina Pasareanu, Dimitra Giannakopoulou

    Research output: Book/ReportReportOther research output

    25 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Work-in-progress Assume-guarantee reasoning with ioco'. Together they form a unique fingerprint.