Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings Giannakopoulou Dimitra Heftet / 2011 / Engelsk
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) Diaz Josep Heftet / 1989 / Engelsk
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) Diaz Josep Heftet / 1989 / Engelsk
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings Guerra, Esther Heftet / 2019 / Engelsk
Recent Trends in Data Type Specification 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers Ehrig Hartmut Heftet / 1994 / Engelsk
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2005 / Engelsk
Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings Orejas Fernando Heftet / 2001 / Engelsk
Recent Trends in Data Type Specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings Ehrig Hartmut Heftet / 1991 / Engelsk
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Kreowski, Hans-Jörg Heftet / 2005 / Engelsk
Algebraic System Specification and Development A Survey and Annotated Bibliography Bidoit Michel Heftet / 1991 / Engelsk
