The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement by Simon Foster Back to product details page >
