Searching for "Efficient path conditions in dependence graphs for software safety analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Efficient Path Conditions in Dependence Graphs for Software Safety Analysis
by Gregor Snelting, Torsten Robschink, Jens Krinke
…Ecient Path Conditions in Dependence Graphs for Software Safety Analysis GREGOR SNELTING, TORSTEN…
Cited by 20 (6 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB