Hoare Logic's for Run-time Analysis of Programs

Publication: ResearchPh.D. thesis – Annual report year: 1984

View graph of relations

Original languageEnglish
StatePublished - 1984

Bibliographical note

Publisher Edinburgh University

Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 2874157