Total correctness examples by Walter Guttmann
Description
Description
Details
Details
- Provenance
nipkow Authored on - Parents
- rISABELLE4fa08e083865: Extension of session HOL/Hoare with total correctness proof system by Walter…
- Branches
- Unknown
- Tags
Total correctness examples by Walter Guttmann Tags None Subscribers None |