Aristotle and object-oriented programming: why modern students need traditional logic
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
Computing as a Science: A Survey of Competing Viewpoints
Minds and Machines
Hi-index | 0.00 |