Skip to content

Loading

Search Explore Expert picks

FA Sign in

Search Explore Expert picks Sign in

Discover references

Michael Fisher

Books

1 results

Cover of An Introduction to Practical Formal Methods Using Temporal Logic

English Intermediate

An Introduction to Practical Formal Methods Using Temporal Logic

Michael Fisher

2011 View book

An open, expert-guided library for choosing better learning references.

Request a book Search Experts

© RefHub · Open references for deeper learning