Title: Integrated Formal Methods
Subjects: Logic design, Computer science, Software engineering, Formal methods (Computer science), Congresses, System design