publication venue for
- Formal methods versus engineering. 41:6-12. 2009
- A course on software engineering techniques. 4:154-159. 1972
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)
Journal
- Overview
- Identity
- View All
Overview
has subject area
- Education (Science Metrix)