B. A. · B. K. Aichernig · k.A.
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science , Band 2757) | 978-3-540-20527-2 (3-540-20527-6) | 2004 | |
| Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 | 978-3-642-25270-9 (3-642-25270-2) | 2011 | Frank S. de Boer · Marcello M. Bonsangue |
| Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings | 978-3-319-41134-7 (3-319-41134-9) | 2016 | Carlo A. Furia |