Language Design for Reliable Software (LDRS)

LDRS 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