-
Systems, Software and Services Process Improvement – 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings
Barafort, Béatrix ; O'Connor, Rory V. ; Poth, Alexander ; Messnarz, Richard 2014 Springer International Publishing
-
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
-
Software and Data Technologies – 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
Escalona, María José ; Cordeiro, José António Moinhos ; Šiškov, Boris 2013 Springer Berlin Heidelberg
-
Implementation and Application of Functional Languages – 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Testing Software and Systems – 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Yenigün, Hüsnü ; Yilmaz, Cemal ; Ulrich, Andreas 2013 Springer International Publishing
-
Runtime Verification – 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Legay, Axel ; Bensalem, Saddek 2013 Springer Berlin Heidelberg
-
Formal Methods: Foundations and Applications – 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
2013 Springer Berlin Heidelberg
-
Structured Object-Oriented Formal Language and Method – Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Liu, Shaoying 2013 Springer Berlin Heidelberg
-
Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
2013 Springer Berlin Heidelberg
-
Tests and Proofs – 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Veanes, Margus ; Viganò, Luca 2013 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Albert, Elvira 2013 Springer Berlin Heidelberg
-
Testing Software and Systems – 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
Nielsen, Brian ; Weise, Carsten 2012 Springer Berlin Heidelberg
-
Hardware and Software: Verification and Testing – 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Eder, Kerstin ; Lourenҫo, João ; Shehory, Onn 2012 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike 2012 Springer Berlin Heidelberg
-
Formal Methods: Foundations and Applications – 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Gheyi, Rohit ; Naumann, David 2012 Springer Berlin Heidelberg
-
Model Checking Software – 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
Donaldson, Alastair ; Parker, David 2012 Springer Berlin Heidelberg
-
Tests and Proofs – 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
Brucker, Achim D. ; Julliand, Jacques 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
-
Evaluation of Novel Approaches to Software Engineering – 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
Maciaszek, Leszek A. ; Loucopoulos, Pericles 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