Christoph MathejaBooksPrinciples of Verification : Cycling the Probabilistic LandscapeAuthor data: Open Library