Home Advanced Search

Advanced Search - Page 1

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
  • PDF
  • English
  • Year: 2016
  • Author: Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
  • PDF
  • English
  • Year: 2016
  • Author: Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
  • PDF
  • English
  • Year: 2018
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
  • PDF
  • English
  • Year: 2020
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
  • PDF
  • English
  • Year: 2020
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
  • EPUB
  • English
  • Author: Tiziana Margaria;Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
  • PDF
  • English
  • Year: 2020
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022 Rhodes, Greece, October 22–30, 2022 Proceedings, Part I
  • PDF
  • English
  • Year: 2022
  • Author: Tiziana Margaria, Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer (eds.)
search