Formal Aspects in Security and TrustPierpaolo Degano · First published 2009 · Latest edition 2011Open the Tome
Formal Aspects of Security and TrustSandro Etalle,Pierpaolo Degano,Joshua Guttman · First published 2011Open the Tome
Foundations and Applications of Security AnalysisPierpaolo Degano, Luca Viganò · First published 2009Open the Tome
Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th BirthdayPierpaolo Degano · First published 2008Open the Tome
Concurrency, Graphs and ModelsPierpaolo Degano, Rocco de Nicola, José Meseguer · First published 2008Open the Tome
Formal Methods for Computational Systems BiologyMarco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro · First published 2008Open the Tome
