A Hoare-like proof system for analysing the computation time of programs
Publication: Research - peer-review › Journal article – Annual report year: 1987
| Original language | English |
|---|---|
| Journal | Science of Computer Programming |
| Publication date | 1987 |
| Volume | 9 |
| Journal number | 2 |
| Pages | 107-136 |
| ISSN | 0167-6423 |
| State | Published |
ID: 3972827