Apt, Krzysztof R. Olderog, Ernst-Rudiger.
Verification of sequential and concurrent programs - Berlin Springer Verlag 1991 - 441 - Texts and Monographs in Computer Science .
3 540 97532 2
Computer software - verification.
681.3.06 APT
Verification of sequential and concurrent programs - Berlin Springer Verlag 1991 - 441 - Texts and Monographs in Computer Science .
3 540 97532 2
Computer software - verification.
681.3.06 APT