Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic

Подробнее