C B · J.B. · J C · Juan C. Bicarregui
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| mural. A Formal Development Support System | 978-3-540-19651-8 (3-540-19651-X) | 1991 | M. Elvang-Gorausson · R. E. Fields |
| Proof in V.D.M.: Case Studies | 978-3-540-76186-0 (3-540-76186-1) | 1998 | |