| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings | 978-3-319-24952-0 | 2015 | Geguang Pu · Lijun Zhang |
| Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday | 978-3-319-23533-2 | 2015 | Lev D. Beklemishev · Andreas Blass · Nachum Dershowitz · Wolfram Schulte |
| Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings | 978-3-030-32078-2 | 2019 | Leonardo Mariani |
| Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | 978-3-642-16611-2 | 2010 | Howard Barringer · Ylies Falcone · Klaus Havelund · Insup Lee · Gordon Pace · Grigore Rosu · Oleg Sokolsky |