-
NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings
Davies, Jim 2004 Springer Berlin Heidelberg
-
Recent Trends in Algebraic Development Techniques – 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Martí-Oliet, Narciso ; Palomino, Miguel 2013 Springer Berlin Heidelberg
-
Language and Automata Theory and Applications – 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
Dediu, Adrian-Horia ; Martín-Vide, Carlos ; Truthe, Bianca 2013 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Cortellessa, Vittorio ; Varró, Dániel 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer Berlin Heidelberg
-
Mathematical and Engineering Methods in Computer Science – 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Kučera, Antonín ; Henzinger, Thomas ; Nešetril, Jaroslav ; Vojnar, Tomas ; Antoš, David 2013 Springer Berlin Heidelberg
-
Assurances for Self-Adaptive Systems – Principles, Models, and Techniques
Cámara, Javier ; Lemos, Rogério de ; Ghezzi, Carlo ; Lopes, Antonia 2013 Springer Berlin Heidelberg
-
Formal Methods for Components and Objects – 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Beckert, Bernhard ; Damiani, Ferruccio ; Boer, Frank S. de ; Bonsangue, Marcello M. 2013 Springer Berlin Heidelberg
-
Distributed Computing and Networking – 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
Frey, Davide ; Raynal, Michel ; Sarkar, Saswati ; Shyamasundar, Rudrapatna K. ; Sinha, Prasun 2013 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer Berlin Heidelberg
-
Tools for Practical Software Verification – LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
Meyer, Bertrand ; Nordio, Martin 2012 Springer Berlin Heidelberg
-
Computer Applications for Database, Education, and Ubiquitous Computing – International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Kim, T'ae-hun ; Ma, Jianhua ; Fang, Wai-chi ; Zhang, Yanchun ; Cuzzocrea, Alfredo 2012 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
-
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
-
Simulation, Modeling, and Programming for Autonomous Robots – Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Noda, Itsuki ; Ando, Noriako ; Brugali, Davide ; Kuffner, James J. 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
-
Rewriting Logic and Its Applications – 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Durán, Francisco 2012 Springer Berlin Heidelberg