| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings | 978-3-642-39633-5 | 2013 | Christine Paulin-Mohring · David Pichardie |
| Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings | 978-3-662-48287-2 | 2015 | Thomas Jensen |
| Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected ... Notes in Computer Science, Band 9971) | 978-3-319-48868-4 | 2016 | Marsha Chechik |
| Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers | 978-3-319-48870-7 | 2016 | " |
S. B · Sándor Balázs · Sándor Balázsy · Sándor Balogh · Sandor Belak · Sandra Ballweg · Sandra Balzo · Sandra Baulich · Sandra Bellesi · Sandra Blach · Sandra Black · Sandra Blass · Sandra Bloch · Sandra Block · Sandra Bullock · Sandrar Blez · Sandrine Balloco · Sandro Bellassai · Sandro Bellesi · Sandro Bellosi