👤 Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic Michael Fisher