1991
Verification of sequential and concurrent programs
Publication
Publication
Additional Metadata | |
---|---|
, , | |
Springer-Verlag (New York) | |
Texts and Monographs in Computer Science | |
Organisation | Logic and language |
Apt, K., & Olderog, E.-R. (1991). Verification of sequential and concurrent programs. Texts and Monographs in Computer Science. Springer-Verlag (New York). |