gilles barthe
Formal Methods for Open Object-Based Distributed Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference o...
Security and Trust Management
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 12th International Workshop on Security and...
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-proceedings of the International Workshop on C...
Applied Semantics
TaschenbuchPrint on DemandThis book is based on material presented at the international summer school on Applied Semantics ...
Formal Aspects of Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...
Security and Trust Management
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...
Programming Languages and Systems
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESO...
Engineering Secure Software and Systems
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the 4th International Symposium on Engineering ...
- 1