Local reasoning for Java. Parkinson, M. Ph.D. Thesis, PhD thesis, University of Cambridge, 2005. bibtex @phdthesis{parkinson2005local,
Author = {Parkinson, Matthew},
School = {PhD thesis, University of Cambridge},
Title = {Local reasoning for Java},
Year = {2005}}
Downloads: 0
{"_id":"FXYJpdjfRekGrwMhM","bibbaseid":"parkinson-localreasoningforjava-2005","authorIDs":[],"author_short":["Parkinson, M."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"propositions":[],"lastnames":["Parkinson"],"firstnames":["Matthew"],"suffixes":[]}],"school":"PhD thesis, University of Cambridge","title":"Local reasoning for Java","year":"2005","bibtex":"@phdthesis{parkinson2005local,\n\tAuthor = {Parkinson, Matthew},\n\tSchool = {PhD thesis, University of Cambridge},\n\tTitle = {Local reasoning for Java},\n\tYear = {2005}}\n\n","author_short":["Parkinson, M."],"key":"parkinson2005local","id":"parkinson2005local","bibbaseid":"parkinson-localreasoningforjava-2005","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"phdthesis","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.615Z","downloads":0,"keywords":[],"search_terms":["local","reasoning","java","parkinson"],"title":"Local reasoning for Java","year":2005,"dataSources":["7Z8XEkSJX2s636QcA"]}