Title: Integrated Formal Methods
Subjects: Logic design, Computer science, Software engineering