Главная Michael Fisher

Автор: Michael Fisher

An Introduction to Practical Formal Methods Using Temporal Logic.

An Introduction to Practical Formal Methods Using Temporal Logic