Strengths and weaknesses of program verification systems
Proc. of the 1st European Software Engineering Conference on ESEC '87
ICSE '90 Proceedings of the 12th international conference on Software engineering
Improving software quality: the use of formal inspections at the JPL
ICSE '90 Proceedings of the 12th international conference on Software engineering
A course on professionalism in the undergraduate CS curriculum
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
| Hi-index | 48.22 |