dimitra giannakopoulou
FM 2012: Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 18th International Symposium on Formal Meth...
Software Engineering and Formal Methods
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 12th International Conference on Software E...
Verified Software: Theories, Tools and Experiments
TaschenbuchPrint on DemandThis volume constitutes the thoroughly refereed post-conference proceedings of the 6th Internatio...
Fundamental Approaches to Software Engineering
TaschenbuchBesorgungstitel - wird vorgemerktThis book constitutes the refereed proceedings of the 14th International Conference on Fundamenta...
- 1