-
Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
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
-
Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg
-
Integer Programming and Combinatoral Optimization – 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings
Günlük, Oktay ; Woeginger, Gerhard J. 2011 Springer Berlin Heidelberg
-
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems – 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Calinescu, Radu C. ; Jackson, Ethan 2011 Springer Berlin Heidelberg
-
Models in Software Engineering – Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers
Dingel, Jürgen ; Solberg, Arnor 2011 Springer Berlin Heidelberg
-
Model Checking and Artificial Intelligence – 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Van der Meyden, Ron ; Smaus, Jan 2011 Springer Berlin Heidelberg
-
Theory and Practice of Algorithms in (Computer) Systems – First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer Berlin Heidelberg
-
Formal Methods: Foundations and Applications – 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Davies, Jim ; Silva, Leila ; Simão, Adenilso 2011 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Giannakopoulou, Dimitra ; Orejas, Fernando 2011 Springer Berlin Heidelberg
-
Foundations of Software Science and Computational Structures – 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Hofmann, Martin 2011 Springer Berlin Heidelberg
-
Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
-
Practical Aspects of Declarative Languages – 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
Russo, Claudio ; Zhou, Neng-Fa 2011 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings
Kuncak, Viktor ; Rybalchenko, Andrey 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
-
Foundations of Software Science and Computational Structures – 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Sassone, Vladimiro 2005 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
Jhala, Ranjit ; Schmidt, David 2005 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Bjørner, Nikolaj ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
Barthe, Gilles 2010 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