English
Intermediate
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
2011
View book
Discover references
Temporal Logic
Books
1 resultsDiscover references
Michael Fisher