Generating Loop Invariants for Program Verification by Transformation
You are here
| Title | Generating Loop Invariants for Program Verification by Transformation |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Hamilton G |
| Journal | Electronic Proceedings in Theoretical Computer Science |
| Volume | 253 |
| Pagination | 36-53 |
| Date Published | 08 |
