Skip to content

Guided Inconsistent Path Sensitization: Method And Experimental Results.

Erwin Trischler

VenueAITC
Year1985
ProceedingsITC

Browse the full ITC paper archive.