-
Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
2017 Springer International Publishing
-
Implementation and Application of Functional Languages – 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer Berlin Heidelberg
-
Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Mariño, Julio 2011 Springer Berlin Heidelberg
-
Declarative Agent Languages and Technologies VIII – 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Hofmann, Martin 2011 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Sassone, Vladimiro 2005 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 Springer Berlin Heidelberg
-
HCI in Work and Learning, Life and Leisure – 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings
Leitner, Gerhard ; Hitz, Martin ; Holzinger, Andreas 2010 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Huisman, Marieke ; Rubin, Julia 2005 Springer Berlin Heidelberg
-
Fundamental approaches to software engineering – 20th international conference : FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Huisman, Marieke ; Rubin, Julia 2017 Springer
-
Foundations of software science and computational structures – 8th international conference ; proceedings
Sassone, Vladimiro 2005 Springer
-
Computable Models
Turner, Raymond 2009 Springer London
-
Implementation and application of functional languages – 20th international symposium ; revised selected papers
Scholz, Sven-Bodo ; Chitil, Olaf 2011 Springer
-
Automata, languages and programming
2011 Springer
-
Functional and constraint logic programming – 19th international workshop ; revised selected papers
Mariño, Julio 2011 Springer
-
Declarative agent languages and technologies VIII – 8th international workshop ; revised selected and invited papers
Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer
-
Reusing OCL in the definition of imperative languages
Büttner, Fabian 2011 Logos-Verl.
-
Foundations of software science and computational structures – 14th international conference ; proceedings
Hofmann, Martin 2011 Springer
-
Fundamental approaches to software engineering – 14th international conference ; proceedings
Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer