Efficient Path Conditions in Dependence Graphs for Software Safety Analysis

Cached

Download Links

by Gregor Snelting , Torsten Robschink , Jens Krinke
Citations:43 - 8 self