| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Concrete Semantics: With Isabelle/HOL | 978-3-319-10541-3 (3-319-10541-8) | 2014 | Tobias Nipkow |
| Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, Band 8558) | 978-3-319-08969-0 (3-319-08969-2) | 2014 | Ruben Gamboa |