Introducing formal methods through role-playing.

Neville Dean, Michael G. Hinchey

Browse the full SIGCSE paper archive.