An experience teaching formal methods in discrete mathematics
J. Stanley Warford · ACM SIGCSE Bulletin · 1995
In spite of recent calls to incorporate formal methods into the computer science curriculum, the effort is still controversial and proceeding slowly. This paper presents our experience in restructuring the undergraduate Discrete Mathematics course to include formal methods. It concludes with some philosophical ruminations about the place of formal methods in the computer science curriculum in general.