Reconciling Software Extensibility with Modular Program Reasoning (2003)

Cached

Download Links

by Todd David Millstein
Citations:8 - 4 self