PakCat catalogue record

An Introduction to Practical Formal Methods Using Temporal Logic

By Michael Fisher

Bibliographic details

Subjects

Computer scince