Computer-aided verification (1996)

by E M Clarke, R P Kurshan
Venue:IEEE Spectrum