Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Maintaining mental models: a study of developer work habits
Proceedings of the 28th international conference on Software engineering
Hi-index | 0.00 |
The International Conference on Software Engineering has established a tradition of looking back 10 conferences and selecting papers that have stood the test of time. The remarks below were prepared in connection an acceptance speech at ICSE 17 where two colleagues and I received the award for the best paper of ICSE 7.