Books by Steve Schneider
Computer Security - ESORICS 20
Computer Security - ESORICS 2020
Computer Security – ESORICS 2019
Designing Fear
Designing Fear
Refocusing crime prevention
ZB 2005 : Formal Specification
ZB 2005 : Formal Specification and Development in Z and B
Formal aspects of security
The B-method (Cornerstones of Computing)
Concurrent and real-time systems
La théorie et la pratique de l
La théorie et la pratique de la prévention du crime par l'aménagement du milieu
The theory and practice of cri
The theory and practice of crime prevention through environmental design