Bill Roscoe
Bill Roscoe
Books
Co-authored books and collections
Books that list Bill Roscoe among their authors but not as the lead author: co-written works, collections and compilations.
Formal Methods : Foundations and ApplicationsMárcio Cornélio
Formal Methods : Foundations and Applications
Márcio Cornélio · 2016
The modelling and analysis of security protocolsPeter Ryan PhD
The modelling and analysis of security protocols
Peter Ryan PhD · 2001
Formal MethodsKlaus Havelund
Formal Methods
Klaus Havelund · 2018