Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
Broschiertes Buch

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

Herausgegeben: Margaria, Tiziana; Steffen, Bernhard
Versandkostenfrei!
Versandfertig in 6-10 Tagen
64,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
32 °P sammeln!
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the proceedings.Each volume focusses on an individual topic with topical section headings within the volume:Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction:...