Books by Christoph Gladisch
No products found matching the selection.
-20%
Extending KeY for the Verification of C Programs: The Development of a Prototype
€118.02
€147.53
-20% with code BOOKS
In stock at our supplier