| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors |
Müller, Peter |
2017 |
| 2 |
LIPIcs, Volume 74, ECOOP'17, Complete Volume |
Müller, Peter |
2017 |
| 3 |
Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201) |
Dolby, Julian et al. |
2016 |
| 4 |
Modular Verification of Finite Blocking in Non-terminating Programs |
Boström, Pontus et al. |
2015 |
| 5 |
Compiling Geometric Algebra Computations into Reconfigurable Hardware Accelerators |
Huthmann, Jens et al. |
2010 |
| 6 |
07091 Abstracts Collection -- Mobility, Ubiquity and Security |
Barthe, Gilles et al. |
2007 |
| 7 |
07091 Executive Summary -- Mobility, Ubiquity and Security |
Barthe, Gilles et al. |
2007 |
