TFAIS 1985: Sitges, Spain

Systems and Languages

Modeling Approaches I

Modeling Approaches II

Logical Frameworks

Modeling Approaches III

a service of Schloss Dagstuhl - Leibniz Center for Informatics