TFAIS 1985: Sitges, Spain

Amílcar Sernadas, Janis A. Bubenko Jr., Antoni Olivé (Eds.): Information Systems - Theoretical and Formal Aspects (TFAIS'85), Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985. Elsevier/North-Holland, 1985 ISBN 0-444-87706-1

Systems and Languages

Modeling Approaches I

Modeling Approaches II

Logical Frameworks

Modeling Approaches III

maintained by Schloss Dagstuhl LZI at University of Trier