Title: Formal Methods Applied to Complex Systems
Subjects: Computer science