Books by Tim Willemse

4 books found

Semantics and verification in process algebras with data and timing

Semantics and verification in process algebras with data and timing

20031 ed.
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

20191 ed.
Software Engineering and Formal Methods

Software Engineering and Formal Methods

20231 ed.
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

20211 ed.