A Hoare-like proof system for analysing the computation time of programs

Hanne Riis Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalScience of Computer Programming
    Volume9
    Issue number2
    Pages (from-to)107-136
    ISSN0167-6423
    Publication statusPublished - 1987

    Cite this