"SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations ..."

David Notkin (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics