Tools and Algorithms for the Construction and Analysis of Systems

Formal Techniques for Distributed Systems

Markovian Demand Inventory Models

TOOLympics Challenge 2023

Fundamental Approaches to Software Engineering

Verification, Model Checking, and Abstract Interpretation

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Tests and Proofs

Theoretische und Methodische Ansatze Zum Innovationsmarketing