Title: Teaching formal methods
Subjects: Computer software, Congresses, Development, Formal methods (Computer science), Study and teaching, Programming languages (electronic computers)