A Hoare-like Proof System for Run-time Analysis of Programs
Hanne Riis Nielson
Type
Journal paper [With referee]
Journal
Science of Computer Programming
Year
1987
Vol.
9
pp.
107-136
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering