Computer aided verification
Larsen, K
Computer aided verification - Berlin Springer Verlag 1991 - Lecture notes in computer science .
3540551794
Computer verification
Computer aided verification - Berlin Springer Verlag 1991 - Lecture notes in computer science .
3540551794
Computer verification