Experience integrating a formal method into a software engineering course.

Ann E. Kelley Sobel

Browse the full SIGCSE paper archive.