ISoLA (Symposium) (2022 :)

Overview

Works:	1 works in 4 publications in 1 languages

Titles

Leveraging applications of formal methods, verification and validation = verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part I / by: ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Leveraging applications of formal methods, verification and validation = practice : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part IV / by: ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Leveraging applications of formal methods, verification and validation = adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part III / by: ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Leveraging applications of formal methods, verification and validation = software engineering : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022 : proceedings.. Part II / by: ISoLA (Symposium) (2022 :); Margaria-Steffen, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service) (Electronic resources)

Subjects