Exercises for teaching logic in a formal methods course: formalizing ERDs.

Guy Tremblay

Browse the full SIGCSE paper archive.