1997
Verification of sequential and concurrent programs
Publication
Publication
Additional Metadata | |
---|---|
Springer | |
Graduate texts in computer science | |
Organisation | Networks and Optimization |
Apt, K., & Olderog, E.-R. (1997). Verification of sequential and concurrent programs. Graduate texts in computer science. Springer. |