| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, ... Notes in Computer Science, Band 8938) | 978-3-319-152OO-4 (3-319-152OO-9) | 2015 | Carlos Canal |