Title: Teaching and Learning Formal Methods
Subjects: Computer science, Mathematics, study and teaching, Engineering, study and teaching, Computers, study and teaching, System design, Study and teaching, Computer software, Development, Systèmes, Conception de, Étude et enseignement, Logiciels, Développement, Programmation (Informatique), 54.04 teaching, profession and organizations of computer science, Onderwijskunde, Formele logica, Computers, Génie logiciel