E R · E. -R. Olderog · Ernst R. Olderog · Ernst-Rüdiger Olderog
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Programmverifikation: Sequentielle, parallele und verteilte Programme | 978-3-540-57479-8 (3-540-57479-4) | 2008 | Krzysztof R. Apt | |
| Verification of Sequential and Concurrent Programs | 978-0-387-97532-0 (0-387-97532-2) | 1991 | " |