sandro etalle
Logic Based Program Synthesis and Transformation
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed postproceedings of the 14th International Symposium...
Trust Management
BuchPrint on DemandThis volume contains the proceedings of the IFIPTM 2007, the Joint iTrust and PST Conferences on ...
Trust Management
TaschenbuchPrint on DemandThis volume contains the proceedings of the IFIPTM 2007, the Joint iTrust and PST Conferences on ...
Formal Aspects of Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-conference proceedings of the 8th Internationa...
Formal Aspects in Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...
- 1