@inproceedings{RochaPintoDG14,
	Author = {P. da Rocha Pinto and T. Dinsdale-Young and P. Gardner},
	Booktitle = {ECOOP},
	Organization = {Springer},
	Pages = {207-231},
	Title = {{TaDA: A Logic for Time and Data Abstraction}},
	Year = {2014}}

{"_id":"usXpkHtBYiaHL72Ff","bibbaseid":"darochapinto-dinsdaleyoung-gardner-tadaalogicfortimeanddataabstraction-2014","authorIDs":[],"author_short":["da Rocha Pinto, P.","Dinsdale-Young, T.","Gardner, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["P."],"propositions":["da"],"lastnames":["Rocha","Pinto"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Dinsdale-Young"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Gardner"],"suffixes":[]}],"booktitle":"ECOOP","organization":"Springer","pages":"207-231","title":"TaDA: A Logic for Time and Data Abstraction","year":"2014","bibtex":"@inproceedings{RochaPintoDG14,\n\tAuthor = {P. da Rocha Pinto and T. Dinsdale-Young and P. Gardner},\n\tBooktitle = {ECOOP},\n\tOrganization = {Springer},\n\tPages = {207-231},\n\tTitle = {{TaDA: A Logic for Time and Data Abstraction}},\n\tYear = {2014}}\n\n","author_short":["da Rocha Pinto, P.","Dinsdale-Young, T.","Gardner, P."],"key":"RochaPintoDG14","id":"RochaPintoDG14","bibbaseid":"darochapinto-dinsdaleyoung-gardner-tadaalogicfortimeanddataabstraction-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.626Z","downloads":0,"keywords":[],"search_terms":["tada","logic","time","data","abstraction","da rocha pinto","dinsdale-young","gardner"],"title":"TaDA: A Logic for Time and Data Abstraction","year":2014,"dataSources":["7Z8XEkSJX2s636QcA"]}