2. TAPSOFT 1987: Pisa, Italy

Algorithms (CAAP Session 1)

Proving Techniques (CAAP Session 2)

Algebraic Specifications I (CAAP Session 3)

Concurrency (CAAP Session 4)

AS Session 4

Algebraic Specifications II (CAAP Session 5)

Foundations (CAAP Session 6)

AS Session 5

AS Session 2

a service of Schloss Dagstuhl - Leibniz Center for Informatics