English
Beginner
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures
Martín Abadi (auth.),Alessandro Aldini,Roberto Gorrieri (eds.)
2007
View book
Discover references
FOSAD
Books
3 results
English
Beginner
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar,Catherine Meadows,José Meseguer (auth.),Alessandro Aldini,Gilles Barthe,Roberto Gorrieri (eds.)
2009
View book
English
Beginner
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
Sabrina De Capitani di Vimercati,Sara Foresti,Giovanni Livraga,Pierangela Samarati (auth.),Alessandro Aldini,Roberto Gorrieri (eds.)
2011
View book