Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation

2021

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

2019

Mathematical Foundations of Advanced Informatics : Volume 1

2019

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

2022

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

2014

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

2014

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

2016

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

2016

Karten Von Mykenai

2018

Bridging the Gap Between AI and Reality

2024

Verification, Model Checking, and Abstract Interpretation

2003

Transactions on Foundations for Mastering Change I

2016

Tools and Algorithms for the Construction and Analysis of Systems

1998

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996

1996

SOFSEM 2017 : Theory and Practice of Computer Science

2017

Real Time and Such

2024

Model Checking, Synthesis, and Learning

2021

Leveraging Applications of Formal Methods

2006