Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)

Authors:
C. Neville Dean;Raymond T. Boute
Affiliations:
-;-
Venue:
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
Year:
2004

Citing 0
Cited 2

Mathematics in the curricula

ACM SIGCSE Bulletin
Progressive Development and Teaching with RAP

Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research

Quantified Score

Hi-index	0.00

Visualization

Abstract