| No. |
Title |
Author |
Year |
| 1 |
Algebraic Reasoning for (Un)Solvable Loops (Invited Talk) |
Kovács, Laura |
2023 |
| 2 |
Front Matter, Table of Contents, Preface, Conference Organization |
Konnov, Igor et al. |
2020 |
| 3 |
LIPIcs, Volume 171, CONCUR 2020, Complete Volume |
Konnov, Igor et al. |
2020 |
| 4 |
First-Order Interpolation and Grey Areas of Proofs (Invited Talk) |
Kovács, Laura |
2017 |
| 5 |
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461) |
Bjorner, Nikolaj et al. |
2013 |
| 6 |
The Auspicious Couple: Symbolic Execution and WCET Analysis |
Biere, Armin et al. |
2013 |
