Title: Formal methods in systems engineering
Subjects: Development, Systems engineering, Formal methods (Computer science), Computer software