👤

Bill Roscoe

2 books

Books by Bill Roscoe

Formal Methods : Foundations and Applications
Formal Methods : Foundations and Applications
2016
The modelling and analysis of security protocols
The modelling and analysis of security protocols
2001