by Gilles Barthe
No reviews yet. Be the first!
Applied semantics
Formal Aspects of Security and Trust
Engineering Secure Software and Systems
Programming Languages and Systems
Formal Methods for Open Object-Based Dis...
Formal Aspects Of Security And Trust 8th...
Financial audit
Financial Management
Digital Fortress
Advances in Computers, Volume 49 (Advanc...
Hacking for Dummies
Air traffic control