Putting static analysis to work for verification: A case study (2000)

by Tal Lev-ami , Thomas Reps , Mooly Sagiv , Reinhard Wilhelm
Venue:In Int. Symp. on Softw. Testing and Analysis
Citations:79 - 18 self