Theoretical Computer Science: 8th Italian Conference, ICTCS ...
Preview
... 13-15, 2003, Proceedings Carlo Blundo, Cosimo Laneve. Security-Aware. Program. Transformations⋆. Massimo Bartoletti, Pierpaolo Degano, and Gian Luigi Ferrari Dipartimento di Informatica Universit`a di Pisa, Italy {bartolet,degano  ...