| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Formal Methods for Software Engineering: Languages, Methods, Application Domains | 978-3-030-38799-0 (3-030-38799-2) | 2020 | Markus Roggenbach · Antonio Cerone · Bernd-Holger Schlingloff · Siraj Ahmed Shaikh | |
| Rudolph's Brief Atlas of the Newborn | 978-1-55009-069-7 (1-55009-069-0) | 1998 | ||
| Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings | 978-3-642-24689-0 (3-642-24689-3) | 2011 | Gilles Barthe · Alberto Pardo | |