Author

Bill Roscoe

3 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

3 books
The modelling and analysis of security protocols

The modelling and analysis of security protocols

2001 Peter Ryan PhD, Gavin Lowe, M. H. Goldsmith, Bill Roscoe, P. Y. A. Ryan, S. A. Schneider, G. Lowe, and A.W. Roscoe
Formal Methods

Formal Methods

Year unknown Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de Vink
Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

Year unknown Márcio Cornélio and Bill Roscoe

Fetched from OpenLibrary. Some translations may appear as separate works.