-
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
-
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 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
-
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 Communication, Networking, and Digital Contents – International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 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
-
Leveraging Applications of Formal Methods, Verification, and Validation – International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hähnle, Reiner ; Knoop, Jens ; Margaria, Tiziana ; Schreiner, Dietmar ; Steffen, Bernhard 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
-
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
-
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
-
Graph Transformations – 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
Ehrig, Hartmut ; Engels, Gregor ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz 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
-
Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Communications and Multimedia Security – 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012. Proceedings
De Decker, Bart ; Chadwick, David W. 2012 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Stoelinga, Mariëlle ; Pinger, Ralf 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
-
Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer Berlin Heidelberg
-
Perspectives of Systems Informatics – 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Clarke, Edmund M. ; Virbickajte, Irina B. ; Voronkov, Andrei 2012 Springer Berlin Heidelberg
-
Runtime Verification – Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Khurshid, Sarfraz ; Sen, Koushik 2012 Springer Berlin Heidelberg