From symptom to cause

Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03 ◽

10.1145/604131.604140 ◽

2003 ◽

Cited By ~ 96

Author(s):

Thomas Ball ◽

Mayur Naik ◽

Sriram K. Rajamani

Download Full-text