Baltic Computer Science 1991

Deductive Synthesis of Programs

Inductive Synthesis of Programs

Automatic Test Case Generation

Specification and Verification of Distributed Systems

Miscellaneous