Title: Formal Methods in Systems Engineering
Subjects: Computer software, development, Systems engineering, Computer science