TaDA: A Logic for Time and Data Abstraction. da Rocha Pinto, P.; Dinsdale-Young, T.; and Gardner, P. In ECOOP, pages 207-231, 2014. Springer.
bibtex   
@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}}
Downloads: 0