Reading Length
Home
Speed Tests
Login
Christoph Matheja
Identifiers
Open Library
OL14994675A
Books by Christoph Matheja
Total count: 1
Principles of Verification : Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Springer
2024-01-01
