Language Design for Reliable Software 1977: Raleigh, North Carolina

Selected papers of this conference were published in CACM 20(8) August 1977

a service of Schloss Dagstuhl - Leibniz Center for Informatics