Reasoning about formal software specifications : an initial investigation

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

Research output: Book/ReportOther report

30 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Reasoning about formal software specifications : an initial investigation'. Together they form a unique fingerprint.

Engineering & Materials Science