Computer-aided verification
Clarke, E
Computer-aided verification - Berlin Springer Verlag 1991 - Lecture notes in computer science .
3540544771
Computer verification
Computer-aided verification - Berlin Springer Verlag 1991 - Lecture notes in computer science .
3540544771
Computer verification