The Spec# programming system: An Overview. Barnett, M., Leino, K. R. M., & Schulte, W. In pages 151–171. bibtex @inproceedings{BarnettLW04,
Author = {M. Barnett and K. R. M. Leino and W. Schulte},
Crossref = {CASSIS04},
Pages = {151--171},
Title = {The {Spec\#} programming system: An Overview}}
Downloads: 0
{"_id":"8ey3kR8nqiqJbiEMe","bibbaseid":"barnett-leino-schulte-thespecprogrammingsystemanoverview","authorIDs":[],"author_short":["Barnett, M.","Leino, K. R. M.","Schulte, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Barnett"],"suffixes":[]},{"firstnames":["K.","R.","M."],"propositions":[],"lastnames":["Leino"],"suffixes":[]},{"firstnames":["W."],"propositions":[],"lastnames":["Schulte"],"suffixes":[]}],"crossref":"CASSIS04","pages":"151–171","title":"The Spec# programming system: An Overview","bibtex":"@inproceedings{BarnettLW04,\n\tAuthor = {M. Barnett and K. R. M. Leino and W. Schulte},\n\tCrossref = {CASSIS04},\n\tPages = {151--171},\n\tTitle = {The {Spec\\#} programming system: An Overview}}\n\n","author_short":["Barnett, M.","Leino, K. R. M.","Schulte, W."],"key":"BarnettLW04","id":"BarnettLW04","bibbaseid":"barnett-leino-schulte-thespecprogrammingsystemanoverview","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.503Z","downloads":0,"keywords":[],"search_terms":["spec","programming","system","overview","barnett","leino","schulte"],"title":"The Spec# programming system: An Overview","year":null,"dataSources":["7Z8XEkSJX2s636QcA"]}