| No. |
Title |
Author |
Year |
| 1 |
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) |
Böhme, Marcel et al. |
2023 |
| 2 |
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442) |
Böhm, Alexander et al. |
2022 |
| 3 |
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431) |
Bjørner, Nikolaj S. et al. |
2022 |
| 4 |
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee |
Christakis, Maria et al. |
2019 |
| 5 |
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee |
Christakis, Maria et al. |
2018 |
