joshua d guttman
VLISP A Verified Implementation of Scheme
TaschenbuchPrint on DemandThe VLISP project showed how to produce a comprehensively verified implemen tation for a program...
Formal Aspects in Security and Trust
TaschenbuchPrint on DemandThe present volume contains the proceedings of the 6th International workshop on Formal Aspects o...
Foundations of Security, Protocols, and Equational Reasoning
TaschenbuchPrint on DemandThis Festschrift volume is published in honor of Catherine A. Meadows and contains essays present...
VLISP A Verified Implementation of Scheme
BuchBesorgungstitel - wird vorgemerktThe VLISP project showed how to produce a comprehensively verified implemen tation for a program...
Principles of Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the first International Conference on Principle...
Formal Aspects in Security and Trust
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...
- 1