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
91
Downloads
(Pure)