Verification of Sequential and Concurrent Programs
| Authors |
|
|---|---|
| Publication date | 1997 |
| Publisher | New York: Springer-Verlag |
| Organisations |
|
| Document type | Book |
| Note | second edition |
| Permalink to this page | |