An Introduction to Practical Formal Methods Using Temporal Logic by Michael Fisher Back to product details page >
