Hoare Logic's for Run-time Analysis of Programs
H. Riis Nielson
Type
Ph.D. thesis [Academic thesis]
Year
1984
Publisher
Edinburgh University
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering