Pierre-N. Robillard;Daniel Leblanc
E´cole Polytechnique de Montre´al, Canada;E´cole Polytechnique de Montre´al, Canada
Integrating a formal specification course with a software projects course via an editing tool
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education