Temporal Logic in Specification 1987: Altrincham, UK

Logic

Automata, Theorem Proving and Model Checking

Specification

Execution