-
Logic, Language, Information, and Computation – 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
De Paiva, Valeria ; Queiroz, Ruy J. G. B. de ; Moss, Lawrence Stuart ; Leivant, Daniel ; de Oliveira, Anjolina 2015 Springer International Publishing
-
Perspectives of System Informatics – 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
2015 Springer Berlin Heidelberg
-
Verification, Model Checking, and Abstract Interpretation – 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
McMillan, Kenneth L. ; Rival, Xavier 2014 Springer International Publishing
-
Hardware and Software: Verification and Testing – 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Biere, Armin ; Nahir, Amir ; Vos, Tanja 2014 Springer International Publishing
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Kontchakov, Roman 2014 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
Pecheur, Charles ; Dierkes, Michael 2014 Springer Berlin Heidelberg
-
From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
-
Runtime Verification – 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Legay, Axel ; Bensalem, Saddek 2013 Springer Berlin Heidelberg
-
Software Engineering and Formal Methods – 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Web Reasoning and Rule Systems – 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
2013 Springer Berlin Heidelberg
-
NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
-
Declarative Agent Languages and Technologies X – 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer Berlin Heidelberg
-
Engineering Secure Software and Systems – 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings
Jürjens, Jan ; Livshits, Ben ; Scandariato, Riccardo 2013 Springer Berlin Heidelberg