-
Sicher in der digitalen Welt – Wie Senioren Fake News erkennen und bekämpfen können
Lehmann, Volker 2024 epubli
-
Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
2016 Springer International Publishing
-
Tests and Proofs – Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Beckert, Bernhard 2008 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Barthe, Gilles 2010 Springer International Publishing
-
Verification, Model Checking, and Abstract Interpretation – 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
Cook, Byron 2007 Springer International Publishing
-
Model Checking Software – 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
Ball, Thomas 2003 Springer International Publishing
-
Fundamentals of Computation Theory – 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Kutyłowski, Mirosław 2009 Springer International Publishing
-
Algebraic and Numeric Biology – 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
Horimoto, Katsuhisa ; Nakatsui, Masahiko ; Popov, Nikolaj 2012 Springer International Publishing
-
Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
2017 Springer International Publishing
-
Formal Modeling and Analysis of Timed Systems – 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Ouaknine, Joe͏̈l 2009 Springer Berlin Heidelberg
-
Fundamentals of Software Engineering – 6th International Conference, FSEN 2015 Tehran, Iran, April 22–24, 2015, Revised Selected Papers
Arbab, Farhad ; Sirjani, Marjan 2015 Springer International Publishing
-
Frontiers of Combining Systems – 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21–24, 2015. Proceedings
Fontaine, Pascal ; Ringeissen, Christophe ; Schmidt, Renate 2015 Springer International Publishing
-
Tools and Algorithms for the Construction and Analysis of Systems – 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Baier, Christel ; Tinelli, Cesare 2015 Springer Berlin Heidelberg
-
Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
-
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
-
Testing Software and Systems – 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer Berlin Heidelberg
-
Concurrent Objects and Beyond – Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Agha, Gul ; Yonezawa, Akinori ; Igarashi, Atsushi ; Kobayashi, Naoki ; Masuhara, Hidehiko ; Matsuoka, Satoshi ; Shibayama, Etsuya ; Taura, Kenjiro 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