Bibliografía (5 obras)
Design of Safety-Critical Systems
2004
Introductory logic and sets for computer scientists
1999
Formal Specification
Formal specification
Realtime Systems
1997
