@techreport{JKMNSS14,
	Author = {U. Juhasz and I. T. Kassios and P. M{\"u}ller and M. Novacek and M. Schwerhoff and A. J. Summers},
	Institution = {ETH Zurich},
	Title = {Viper: A Verification Infrastructure for Permission-Based Reasoning},
	Year = {2014}}

{"_id":"LvukvQQ9BAtzPyJ6p","bibbaseid":"juhasz-kassios-mller-novacek-schwerhoff-summers-viperaverificationinfrastructureforpermissionbasedreasoning-2014","authorIDs":[],"author_short":["Juhasz, U.","Kassios, I. T.","Müller, P.","Novacek, M.","Schwerhoff, M.","Summers, A. J."],"bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["U."],"propositions":[],"lastnames":["Juhasz"],"suffixes":[]},{"firstnames":["I.","T."],"propositions":[],"lastnames":["Kassios"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Novacek"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Schwerhoff"],"suffixes":[]},{"firstnames":["A.","J."],"propositions":[],"lastnames":["Summers"],"suffixes":[]}],"institution":"ETH Zurich","title":"Viper: A Verification Infrastructure for Permission-Based Reasoning","year":"2014","bibtex":"@techreport{JKMNSS14,\n\tAuthor = {U. Juhasz and I. T. Kassios and P. M{\\\"u}ller and M. Novacek and M. Schwerhoff and A. J. Summers},\n\tInstitution = {ETH Zurich},\n\tTitle = {Viper: A Verification Infrastructure for Permission-Based Reasoning},\n\tYear = {2014}}\n\n","author_short":["Juhasz, U.","Kassios, I. T.","Müller, P.","Novacek, M.","Schwerhoff, M.","Summers, A. J."],"key":"JKMNSS14","id":"JKMNSS14","bibbaseid":"juhasz-kassios-mller-novacek-schwerhoff-summers-viperaverificationinfrastructureforpermissionbasedreasoning-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.617Z","downloads":0,"keywords":[],"search_terms":["viper","verification","infrastructure","permission","based","reasoning","juhasz","kassios","müller","novacek","schwerhoff","summers"],"title":"Viper: A Verification Infrastructure for Permission-Based Reasoning","year":2014,"dataSources":["7Z8XEkSJX2s636QcA"]}