DMCA

Data structure specifications via local equality axioms (2005)

by Scott Mcpeak , George C. Necula
Venue:In CAV
Citations:81 - 1 self