W.A. · Wolfgang Arendt · Wolfgang Arndt
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Deductive Software Verification - The KeY Book: From Theory to Practice | 978-3-319-49811-9 (3-319-49811-8) | 2016 | Bernhard Beckert · Richard Bubel · Reiner Hähnle · Peter H. Schmitt · Mattias Ulbrich |
| Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings | 978-3-030-34967-7 (3-030-34967-5) | 2019 | Silvia Lizeth Tapia Tarifa |
| Visionen für Fusionen 1 + 1 =?: Ein Prozessbegleiter | 978-3-905327-12-0 (3-905327-12-0) | 1999 | Beat Honegger |