Error Detection with Directed Symbolic Model Checking (1999)

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