Go Where the Bugs Are More Books by Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn & Alexander Schiendorfer

Model Checking Software

2025