Home Advanced Search

Advanced Search - Page 1

Leveraging applications of formal methods, verification and validation
  • PDF
  • English
  • Year: 2008
  • Author: Tiziana Margaria-Steffen; Bernhard Steffen
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
Computing and Software Science: State of the Art and Perspectives
  • PDF
  • English
  • Year: 2019
  • Author: Bernhard Steffen, Gerhard Woeginger
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
Computing and software science, state of the art and perspectives
  • PDF
  • English
  • Year: 2019
  • Author: Steffen, Bernhard.; Woeginger, Gerhard
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: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
  • PDF
  • English
  • Year: 2010
  • Author: Tiziana Margaria, Bernhard Steffen
search