Reasoning about multiple related abstractions with MultiStar.

Stephan van Staden, Cristiano Calcagno

Browse the full OOPSLA paper archive.