Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of T
67,86 €
Confluence Competion 2019. - The Model Checking Contest (2019). - The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models. - The Rewrite Engines Competitions: A RECtrospective.
Jetzt bei Ebay: