An undergraduate course in formal methods: "description is our business".

Guy Tremblay

Browse the full SIGCSE paper archive.