| 0 | -- | 0 | Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. Static Consistency Checking of Web Applications with WebDSL |
| 93 | -- | 94 | Demis Ballis, Temur Kutsia. Foreword |
| 95 | -- | 118 | Gregory Malecha, Greg Morrisett, Ryan Wisnesky. Trace-based verification of imperative programs with I/O |
| 119 | -- | 149 | Federico Banti, Rosario Pugliese, Francesco Tiezzi. An accessible verification environment for UML models of services |
| 150 | -- | 182 | Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. Static consistency checking of web applications with WebDSL |
| 183 | -- | 206 | Christian Schönberg, Franz Weitl, Burkhard Freitag. Verifying the consistency of web-based technical documentations |
| 207 | -- | 217 | Marino Linaje Trigueros, Adolfo Lozano Tello, Miguel Ángel Perez Toledano, Juan Carlos Preciado, Roberto Rodríguez-Echeverría, Fernando Sánchez-Figueroa. Providing RIA user interfaces with accessibility properties |