-
Principles of Security and Trust – Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Basin, David A. ; Mitchell, John C. 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
-
Assurances for Self-Adaptive Systems – Principles, Models, and Techniques
Cámara, Javier ; Lemos, Rogério de ; Ghezzi, Carlo ; Lopes, Antonia 2013 Springer Berlin Heidelberg
-
Runtime Verification – Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Qadeer, Shaz ; Tasiran, Serdar 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
-
Software Language Engineering – 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers
Czarnecki, Krzysztof ; Hedin, Görel 2013 Springer Berlin Heidelberg
-
ICT in Education, Research, and Industrial Applications – 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Ermolayev, Vadim ; Mayr, Heinrich Christian ; Nikitchenko, Mykola ; Spivakovsky, Aleksander ; Zholtkevych, Grygoriy 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
-
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
-
Formal Aspects of Component Software – 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
2012 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
-
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
-
Certified Programs and Proofs – Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
Hawblitzel, Chris ; Miller, Dale 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
-
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
-
Stabilization, Safety, and Security of Distributed Systems – 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings
Richa, Andréa W. ; Scheideler, Christian 2012 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
2012 Springer Berlin Heidelberg
-
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
Margaria, Tiziana ; Steffen, Bernhard ; Merten, Maik 2012 Springer Berlin Heidelberg
-
Model and Data Engineering – 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings
Abelló, Alberto ; Bellatreche, Ladjel ; Benatallah, Boualem 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