Integrating formal methods tools into undergraduate computer science curriculum. - Sotiris Skevoulis; Maria Falidas (ITiCSE, 2002)