• Computer-aided verification

Treffer: Computer-aided verification

Title:
Computer-aided verification
Authors:
Clarke, E.M., Kurshan, R.P.
Source:
IEEE Spectrum IEEE Spectr. Spectrum, IEEE. 33(6):61-67 Jun, 1996
Database:
IEEE Xplore Digital Library