VSTTE VSTTE POST-PROCEEDINGS
Editors: Philipp Ruemmer and Ruzica Piskac
| Authors | Title | Paper | Talk |
|---|---|---|---|
| Karine Even-Mendoza, Sepideh Asadi, Antti Hyvärinen, Hana Chockler and Natasha Sharygina | Lattice-Based Refinement in Bounded Model Checking |  | Jul 18 12:00 |