Bill Roscoe

Identifiers

Open LibraryOL2670815A

Top Subjects

Formal languages (1)

Books by Bill Roscoe

Total count: 3

Modelling and Analysis of Security Protocols

Addison-Wesley Professional2000-12-21
Formal Methods : Foundations and Applications18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Springer London, Limited2016-01-01
Formal Methods22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

Springer2018-07-12