Integrating a formal specification course with a software projects course via an editing tool.

Rose F. Gamble

Browse the full SIGCSE paper archive.