Fingerprint
Dive into the research topics of 'Reasoning about Loops in Total and General Correctness'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reasoning about Loops in Total and General Correctness
Steve E. Dunne, Ian J. Hayes, Andy J. Galloway
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
63
Downloads
(Pure)