Neville Dean
-
Support for teaching formal methods
ACM SIGCSE Bulletin
Working group reports from ITiCSE on Innovation and technology in computer science education