Sciweavers

ISSTA
2006
ACM

Inference and enforcement of data structure consistency specifications

14 years 5 months ago
Inference and enforcement of data structure consistency specifications
Brian Demsky, Michael D. Ernst, Philip J. Guo, Ste
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where ISSTA
Authors Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
Comments (0)