Ten Years of Hoare's Logic$:$ A Survey $-$ Part I. Apt, K. ACM Transactions on Programming Languages and Systems, 3(4):431-483, oct, 1981. bibtex @article{Apt81,
Author = {K.R. Apt},
Code = {ATPSDT},
Issn = {0164-0925},
Journal = {ACM Transactions on Programming Languages and Systems},
Month = {oct},
Number = {4},
Pages = {431-483},
Title = {Ten Years of {Hoare}'s Logic$:$ {A} Survey $-$ {Part I}},
Volume = {3},
Year = {1981}}
Downloads: 0
{"_id":"zqaC2Zs4ppMb9jkXn","bibbaseid":"apt-tenyearsofhoareslogicasurveyparti-1981","authorIDs":[],"author_short":["Apt, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["K.R."],"propositions":[],"lastnames":["Apt"],"suffixes":[]}],"code":"ATPSDT","issn":"0164-0925","journal":"ACM Transactions on Programming Languages and Systems","month":"oct","number":"4","pages":"431-483","title":"Ten Years of Hoare's Logic$:$ A Survey $-$ Part I","volume":"3","year":"1981","bibtex":"@article{Apt81,\n\tAuthor = {K.R. Apt},\n\tCode = {ATPSDT},\n\tIssn = {0164-0925},\n\tJournal = {ACM Transactions on Programming Languages and Systems},\n\tMonth = {oct},\n\tNumber = {4},\n\tPages = {431-483},\n\tTitle = {Ten Years of {Hoare}'s Logic$:$ {A} Survey $-$ {Part I}},\n\tVolume = {3},\n\tYear = {1981}}\n\n","author_short":["Apt, K."],"key":"Apt81","id":"Apt81","bibbaseid":"apt-tenyearsofhoareslogicasurveyparti-1981","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.609Z","downloads":0,"keywords":[],"search_terms":["ten","years","hoare","logic","survey","part","apt"],"title":"Ten Years of Hoare's Logic$:$ A Survey $-$ Part I","year":1981,"dataSources":["7Z8XEkSJX2s636QcA"]}