DIMACS Workshop: Computer-Aided Verification 1990

maintained by Schloss Dagstuhl LZI at University of Trier