Computer-Aided Verification, (1996)

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