Integrating formal methods tools into undergraduate computer science curriculum.

Sotiris Skevoulis, Maria Falidas

Browse the full ITiCSE paper archive.