Error Detection with Directed Symbolic Model Checking (1999)

by Frank Reffel , Stefan Edelkamp
Venue:In World Congress on Formal Methods
Citations:14 - 6 self