Quantified reasoning in formal specification : transfer of everyday errors and biases?

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

Research output: Book/ReportOther report

60 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Quantified reasoning in formal specification : transfer of everyday errors and biases?'. Together they form a unique fingerprint.

Medicine & Life Sciences