Measuring human inferential complexity in formal specifications : a predictive model for the Z notation

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

Research output: Book/ReportOther report

47 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Measuring human inferential complexity in formal specifications : a predictive model for the Z notation'. Together they form a unique fingerprint.

Keyphrases

Computer Science