erika ábrahám
Integrated Formal Methods
TaschenbuchPrint on DemandThis bookconstitutes the refereed proceedings of the 12th International Conference on Integra...
Theory and Practice of Formal Methods
TaschenbuchPrint on DemandThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 6...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 20th International Conference on Tools and Algorithm...
Formal Techniques for Distributed Objects, Components, and Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal ...
Quantitative Evaluation of Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 19th International Conference on Quantitative Evalua...
Fundamentals of Software Engineering
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-conference proceedings of the 10th Internation...
Theoretical Aspects of Computing - ICTAC 2023
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects...
Runtime Verification
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the 24th International Conference on Runtime Ve...
- 1