A course on professionalism in the undergraduate CS curriculum
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
A discipline of software architecture
interactions
Strategies for incorporating formal specifications in software development
Communications of the ACM
A new paradigm for trusted systems
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Hi-index | 48.23 |