Baltic Computer Science - Selected Papers

Deductive Synthesis of Programs

Inductive Synthesis of Programs

Automatic Test Case Generation

Specification and Verification of Distributed Systems

Miscellaneous

a service of Schloss Dagstuhl - Leibniz Center for Informatics