Baltic Computer Science - Selected Papers

Deductive Synthesis of Programs

Inductive Synthesis of Programs

Automatic Test Case Generation

Specification and Verification of Distributed Systems

Miscellaneous

maintained by Schloss Dagstuhl LZI, founded at University of Trier