Support for teaching formal methods
Almstrum, Vicki L., Dean, C. Neville, Goelman, Don, Hilburn, Thomas B., Smith, JanVolume:
33
Langue:
english
Journal:
ACM SIGCSE Bulletin
DOI:
10.1145/571922.571962
Date:
June, 2001
Fichier:
PDF, 1.57 MB
english, 2001