Local reasoning and dynamic framing for the composite pattern and its clients (2010)

by S Rosenberg, A Banerjee, D A Naumann
Venue:In VSTTE