| 2012 |
| - Tools for Practical Software Verification: LASER Summer School 2011., (Bertrand Meyer, Martin Nordio, eds.), Springer, volume 7682, 2012.
[bib]
|
| - Empirical Software Engineering and Verification: LASER Summer School 2008-2010., (Bertrand Meyer, Martin Nordio, eds.), Springer, volume 7007, 2012.
[bib]
|
| - Modeling Time in Computing. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi, Springer, 2012. [pdf]
[bib]
|
| 2011 |
| - The Future of Software Engineering., (Sebastian Nanz, ed.), Springer, 2011.
[bib]
|
| - The Future of Software Engineering: Panel Discussions., (Edgar G. Daylight, Sebastian Nanz, eds.), Lonely Scholar, volume 2011, 2011.
[bib]
|
