Books by Hermann Lehner
No products found matching the selection.
-20%
A Formal Definition of JML in Coq: and its Application to Runtime Assertion Checking
€103.50
€129.38
-20% with code BOOKS
In stock at our supplier