Bernhard Steffen

Correct system design

Tools and Algorithms for the Construction and Analysis of Systems

Bridging the Gap Between AI and Reality

Computing and Software Science

Mathematical Foundations of Advanced Informatics : Volume 1

SOFSEM 2017 : Theory and Practice of Computer Science

Transactions on Foundations for Mastering Change I

Verification, Model Checking, and Abstract Interpretation

Grundlagen Der Hheren Informatik Induktives Vorgehen

Karten Von Mykenai

Grundlagen der Höheren Informatik

Model Checking, Synthesis, and Learning

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation

Combined Power of Research, Education, and Dissemination

Real Time and Such

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles