Title: Software Engineering and Formal Methods
Subjects: Logic, symbolic and mathematical, Software engineering