Computer Aided Systems Theory – EUROCAST 2011
13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
Roberto Moreno-Díaz, Franz Pichler and Alexis Quesada-Arencibia
2012, Volume 6927
Computer Aided Systems Theory – EUROCAST 2011
13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
Roberto Moreno-Díaz, Franz Pichler and Alexis Quesada-Arencibia
2012, Volume 6928
Mathematical and Engineering Methods in Computer Science
7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukáš Sekanina and Tomáš Vojnar, et al.
2012, Volume 7119
Datalog Reloaded
First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers
Oege de Moor, Georg Gottlob, Tim Furche and Andrew Sellers
2011, Volume 6702
Computer Performance Engineering
8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings
Nigel Thomas
2011, Volume 6977
Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Rajeev Joshi, Peter Müller and Andreas Podelski
2012, Volume 7152
Dependable and Historic Computing
Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
Cliff B. Jones and John L. Lloyd
2011, Volume 6875
Verification, Model Checking, and Abstract Interpretation
13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
Viktor Kuncak and Andrey Rybalchenko
2012, Volume 7148
Formal Aspects of Component Software
7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Luís Soares Barbosa and Markus Lumpe
2012, Volume 6921
Foundations and Practice of Security
4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
Joaquin Garcia-Alfaro and Pascal Lafourcade
2012, Volume 6888