Formal methods in the undergraduate computer science curriculum (abstract).

Henry MacKay Walker, H. Conrad Cunningham, Ruth Davis, Douglas R. Troeger

Browse the full SIGCSE paper archive.