Web-based laboratories in the introductory curriculum enhance formal methods.

Rhys Price Jones, Fritz Ruehr, Richard M. Salter

Browse the full SIGCSE paper archive.