Title: Concise Guide to Formal Methods
Subjects: Computer science