Support for teaching formal methods.

Autor: Almstrum, Vicki L., Dean, C. Neville, Goelman, Don, Hilburn, Thomas B., Smith, Jan

Publikováno v: Working Group Reports From ITiCSE: Innovation & Technology in Computer Science Education; 6/1/2001, p71-88, 18p