Seven lesser known myths of formal methods : uncovering the psychology of formal specification

R.J. Vinter, M.J. Loomes, D. Kornbrot

Research output: Book/ReportOther report

223 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Seven lesser known myths of formal methods : uncovering the psychology of formal specification'. Together they form a unique fingerprint.

Engineering & Materials Science