Efficient Path Conditions in Dependence Graphs for Software Safety Analysis

Cached

Download Links

by Gregor Snelting , Torsten Robschink , Jens Krinke
Citations:42 - 7 self