[ACM Press the thirty-first SIGCSE technical symposium - Austin, Texas, United States (2000.03.07-2000.03.12)] Proceedings of the thirty-first SIGCSE technical symposium on Computer science education - SIGCSE '00 - Empirical results of a software engineering curriculum incorporating formal methods
Sobel, Ann E. KelleyYear:
2000
Language:
english
DOI:
10.1145/330908.331846
File:
PDF, 434 KB
english, 2000