cyrille artho
Automated Technology for Verification and Analysis
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 14th International Symposium on Automated Technology...
Formal Techniques for Safety-Critical Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 5th International Workshop on Formal Techni...
Formal Techniques for Safety-Critical Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, ...
Formal Techniques for Safety-Critical Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Third International Workshop on Formal Tech...
Formal Techniques for Safety-Critical Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 4th International Workshop on Formal Techni...
Formal Techniques for Safety-Critical Systems
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 6th International Workshop on Formal Techni...
- 1