Colloquium on Formal Approaches of Software Engineering

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase Aarhus, Denmark, May 22-26, 1995: Proceedin978-O-387-59293-O
(O-387-59293-8)
1995Portugal) ETAPS 98 (1998 : Lisbon · Mogens Nielsen · Peter D. Mosses · Denmark) Colloquium on Trees in Algebra and Programming (1995 : Aarhus · Michael I. Schwartzbach

C.A. · C.F. · F A · o.A. · O.F.

Colloquium on the Variation and Evolution in Plants and Microorganisms: Toward a New Synthesis 50 Years After Stebbins (2000 : Beckman Center of the National Academies)