H. P. · H. Partsch · Helmut A. Partsch
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report | 978-3-540-57499-6 (3-540-57499-9) | 2008 | Steve Schuman · Bernhard M??ller | |
| Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report | 978-0-387-57499-8 (0-387-57499-9) | 1993 | Bernhard Moller |