@misc{viper-website,
	Author = {{Chair of Programming Methodology, ETH Z\"urich}},
	Note = {\url{http://www.pm.inf.ethz.ch/research/viper}},
	Title = {Viper project website},
	Url = {http://www.pm.inf.ethz.ch/research/viper},
	Bdsk-Url-1 = {http://www.pm.inf.ethz.ch/research/viper}}

{"_id":"CwTf2Gs9hwD2QeRJd","bibbaseid":"chairofprogrammingmethodology-viperprojectwebsite","authorIDs":[],"author_short":["Chair of Programming Methodology, ETH Zürich"],"bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":[],"propositions":[],"lastnames":["Chair of Programming Methodology, ETH Zürich"],"suffixes":[]}],"note":"r̆lhttp://www.pm.inf.ethz.ch/research/viper","title":"Viper project website","url":"http://www.pm.inf.ethz.ch/research/viper","bdsk-url-1":"http://www.pm.inf.ethz.ch/research/viper","bibtex":"@misc{viper-website,\n\tAuthor = {{Chair of Programming Methodology, ETH Z\\\"urich}},\n\tNote = {\\url{http://www.pm.inf.ethz.ch/research/viper}},\n\tTitle = {Viper project website},\n\tUrl = {http://www.pm.inf.ethz.ch/research/viper},\n\tBdsk-Url-1 = {http://www.pm.inf.ethz.ch/research/viper}}\n\n","author_short":["Chair of Programming Methodology, ETH Zürich"],"key":"viper-website","id":"viper-website","bibbaseid":"chairofprogrammingmethodology-viperprojectwebsite","role":"author","urls":{"Paper":"http://www.pm.inf.ethz.ch/research/viper"},"downloads":0,"html":""},"bibtype":"misc","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.620Z","downloads":0,"keywords":[],"search_terms":["viper","project","website","chair of programming methodology"],"title":"Viper project website","year":null,"dataSources":["7Z8XEkSJX2s636QcA"]}