Validating specifications of dynamic systems using automated reasoning techniques

Remco Feenstra, J.C. Bioch (Editor), Roelf J. Wieringa, Y.H Tan (Editor)

    Research output: Contribution to conferencePaperAcademicpeer-review

    29 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Validating specifications of dynamic systems using automated reasoning techniques'. Together they form a unique fingerprint.