sandrine blazy
Verified Software. Theories, Tools, and Experiments
TaschenbuchPrint on DemandThis volume constitutes the thoroughly refereed post-conference proceedings of the 8th Internatio...
Interactive Theorem Proving
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 4th International Conference on Interactive...
Static Analysis
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 22nd International Static Analysis Symposiu...
Semantiques formelles
TaschenbuchPrint on DemandCe livre introduit les sémantiques formelles et détaille des exemples d''utilisation pour définir...
- 1