Author

Christoph Matheja

1 book found

Cover of Principles of Verification : Cycling the Probabilistic Landscape

Principles of Verification : Cycling the Probabilistic Landscape

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll · First published 2024