Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Book titles in this series
-
-
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
-
Static Analysis
30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
-
Graph-Theoretic Concepts in Computer Science
49th International Workshop, WG 2023, Fribourg, Switzerland, June 28–30, 2023, Revised Selected Papers
-
Fundamentals of Computation Theory
24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings
-
Algorithmic Game Theory
16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings
-
Euro-Par 2023: Parallel Processing
29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 – September 1, 2023, Proceedings
-
Unity of Logic and Computation
19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings
-
Combinatorial Algorithms
34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings
-
Tools and Algorithms for the Construction and Analysis of Systems
29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I
