Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX

Richard Banach, Joseph Razavi, Olivier Debicki , Suzanne Lesecq

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Fingerprint

Dive into the research topics of 'Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX'. Together they form a unique fingerprint.

Computer Science

Engineering

Arts and Humanities