Projects per year
Original language | English |
---|---|
Title of host publication | Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures |
Editors | A Aldini, R Gorrieri |
Publisher | Springer-Verlag |
Pages | 282-323 |
Number of pages | 42 |
Volume | 4677 |
DOIs | |
Publication status | Published - 2007 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer-Verlag |
Projects
- 1 Finished