| - Reasoning about multiple related abstractions with MultiStar. Stephan van Staden, Cristiano Calcagno, In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA 2010), ACM, 2010. [pdf]
[bib]
|
