Fingerprint
Dive into the research topics of 'Reasoning about formal software specifications : an initial investigation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reasoning about formal software specifications : an initial investigation
R.J. Vinter, M.J. Loomes, D. Kornbrot
Research output: Book/Report › Other report
32
Downloads
(Pure)