Baltic Computer Science 1991

Deductive Synthesis of Programs

Inductive Synthesis of Programs

Automatic Test Case Generation

Specification and Verification of Distributed Systems

Miscellaneous

maintained by Schloss Dagstuhl LZI at University of Trier