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 at University of Trier