Formal MethodsKlaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink · First published 2018Open the Tome
Formal Methods : Foundations and ApplicationsMárcio Cornélio, Bill Roscoe · First published 2016Open the Tome
The modelling and analysis of security protocolsPeter Ryan PhD, Gavin Lowe, M. H. Goldsmith, Bill Roscoe, P. Y. A. Ryan, S. A. Schneider, G. Lowe, A.W. Roscoe · First published 2000Open the Tome
