Title: Integrated formal methods
Subjects: Formal methods (Computer science), Congresses, System design