Empirical results of a software engineering curriculum incorporating formal methods.

Ann E. Kelley Sobel

Browse the full SIGCSE paper archive.