[ACM Press the twenty-fifth SIGCSE symposium - Phoenix, Arkansas, United States (1994.03.10-1994.03.12)] Proceedings of the twenty-fifth SIGCSE symposium on Computer science education - SIGCSE '94 - Tutorial---formal methods in the first course (abstract)
Troeger, Douglas R.Year:
1994
Language:
english
DOI:
10.1145/191029.191180
File:
PDF, 80 KB
english, 1994