Title: Theory and Practice of Formal Methods
Subjects: Computer science