Model Checking, Synthesis, and Learning More Books by Ernst-Rüdiger Olderog, Bernhard Steffen & Wang Yi

Provably Correct Systems

2017

Verification of Sequential and Concurrent Programs

2009