Turning to formal verification (1997)

by S Schroeder
Venue:Integrated System Design Magazine