Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)

Marieke Huisman (Editor), Jaco van de Pol (Editor)

    Research output: Contribution to journalArticleAcademic

    88 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)'. Together they form a unique fingerprint.

    Engineering & Materials Science