An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
"What is a method?": an essay on some aspects of domain engineering
Programming methodology
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Hi-index | 0.00 |