@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}}

{"_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"]}