Designing Correct Circuits 1992: Lyngby, Denmark

maintained by Schloss Dagstuhl LZI, founded at University of Trier