Reconciling Software Extensibility with Modular Program Reasoning (2003)

by Todd David Millstein
Citations:10 - 4 self