-
Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
-
Automated Deduction in Geometry – 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Requirements Engineering: Foundation for Software Quality – 19th International Working Conference, REFSQ 2013, Essen, Germany, April 8-11, 2013. Proceedings
Dörr, Jörg ; Opdahl, Andreas L. 2013 Springer Berlin Heidelberg
-
Formal Aspects of Component Software – 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Păsăreanu, Corina S. ; Salaün, Gwen 2013 Springer Berlin Heidelberg
-
Evaluation of Novel Approaches to Software Engineering – 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Maciaszek, Leszek A. ; Zhang, Kang 2013 Springer Berlin Heidelberg
-
Formal Aspects of Component Software – 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
2012 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Aoki, Toshiaki ; Taguchi, Kenji 2012 Springer Berlin Heidelberg
-
Intelligent Computer Mathematics – 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Jeuring, Johan ; Campbell, John ; Carette, Jacques ; Dos Reis, Gabriel ; Sojka, Petr ; Wenzel, Makarius ; Sorge, Volker 2012 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Arbab, Farhad ; Sirjani, Marjan 2012 Springer Berlin Heidelberg
-
Empirical Software Engineering and Verification – International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
-
Verified Software: Theories, Tools, Experiments – 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Joshi, Rajeev ; Müller, Peter ; Podelski, Andreas 2012 Springer Berlin Heidelberg
-
Programming Languages and Systems – 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings
Seidl, Helmut 2011 Springer Berlin Heidelberg
-
Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
-
Agent-Oriented Software Engineering X – 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 2011 Springer Berlin Heidelberg
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
-
Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
-
Formal Methods for Components and Objects – 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Boer, Frank S. de ; Bonsangue, Marcello M. ; Hallerstede, Stefan ; Leuschel, Michael 2010 Springer Berlin Heidelberg
-
Autonomic and Trusted Computing – 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Xie, Bing 2010 Springer Berlin Heidelberg
-
Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg