-
Agent Technology from a Formal Perspective
Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems LIV – Special Issue on Data Management - Principles, Technologies, and Applications
Hameurlain, Abdelkader ; Tjoa, A Min ; Boucelma, Omar ; Toumani, Farouk 2023 Springer Berlin
-
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
-
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
-
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
-
Agent-Oriented Software Engineering X – 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 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
-
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
-
Formal Methods for Components and Objects – 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Boer, Frank S. de ; Bonsangue, Marcello M. ; Hallerstede, Stefan ; Leuschel, Michael 2010 Springer Berlin Heidelberg
-
Autonomic and Trusted Computing – 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
Xie, Bing 2010 Springer Berlin Heidelberg
-
Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
-
Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX – Special Issue on Database- and Expert-Systems Applications
2018 Springer International Publishing
-
Formal methods for components and objects – 8th international symposium ; revised selected papers
Boer, Frank S. de ; Bonsangue, Marcello M. ; Hallerstede, Stefan ; Leuschel, Michael 2010 Springer
-
FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg
-
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX – Special Issue on Cloud Computing
Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Schewe, Klaus-Dieter ; Bosa, Karoly 2016 Springer International Publishing
-
Agent-oriented software engineering X – 10th international workshop ; revised selected papers
Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 2011 Springer
-
Validated Designs for Object-oriented Systems
Fitzgerald, John ; Larsen, Peter Gorm ; Mukherjee, Paul ; Plat, Nico ; Verhoef, Marcel 2005 Springer London
-
Verified software: theories, tools, experiments – 4th international conference ; proceedings
Joshi, Rajeev ; Müller, Peter ; Podelski, Andreas 2012 Springer
-
Foundations of Algebraic Specification and Formal Software Development
Sannella, Donald ; Tarlecki, Andrzej 2012 Springer Berlin Heidelberg