| Original language | English |
|---|
| Publication status | Published - 1984 |
|---|
Bibliographical note
Publisher Edinburgh UniversityCite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Hoare Logic's for Run-time Analysis of Programs
- Hanne Riis Nielson
Research output: Book/Report › Ph.D. thesis