Article Title,Year,Volume,Issue,Page Range,Author
Efficient Path Conditions in Dependence Graphs for Software Safety Analysis,2006,15,4,410-457,Snelting