@inproceedings{SvendsenB14,
	Author = {K. Svendsen and L. Birkedal},
	Booktitle = {ESOP},
	Organization = {Springer},
	Pages = {149-168},
	Title = {{Impredicative Concurrent Abstract Predicates}},
	Year = {2014}}

{"_id":"MuQntQ33JDiFNLjHY","bibbaseid":"svendsen-birkedal-impredicativeconcurrentabstractpredicates-2014","authorIDs":[],"author_short":["Svendsen, K.","Birkedal, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["K."],"propositions":[],"lastnames":["Svendsen"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Birkedal"],"suffixes":[]}],"booktitle":"ESOP","organization":"Springer","pages":"149-168","title":"Impredicative Concurrent Abstract Predicates","year":"2014","bibtex":"@inproceedings{SvendsenB14,\n\tAuthor = {K. Svendsen and L. Birkedal},\n\tBooktitle = {ESOP},\n\tOrganization = {Springer},\n\tPages = {149-168},\n\tTitle = {{Impredicative Concurrent Abstract Predicates}},\n\tYear = {2014}}\n\n","author_short":["Svendsen, K.","Birkedal, L."],"key":"SvendsenB14","id":"SvendsenB14","bibbaseid":"svendsen-birkedal-impredicativeconcurrentabstractpredicates-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.627Z","downloads":0,"keywords":[],"search_terms":["impredicative","concurrent","abstract","predicates","svendsen","birkedal"],"title":"Impredicative Concurrent Abstract Predicates","year":2014,"dataSources":["7Z8XEkSJX2s636QcA"]}