| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Notes in Computer Science , Band 9509) | 978-3-662-49223-9 (3-662-49223-7) | 2016 | Radu Calinescu · Bernhard Rumpe |