Teaching and Learning Formal Methodsde C. Neville Dean, Michael G. HincheyMateriasComputer scienceMathematics, study and teachingEngineering, study and teachingComputers, study and teachingSystem designStudy and teachingComputer softwareDevelopmentSystèmes, Conception de
