Languages
ISoLA (Symposium) (2020 :)
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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 /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validation = tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.. Part IV /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(Electronic resources)
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 /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(Electronic resources)
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 /
by:
ISoLA (Symposium) (2020 :); Margaria, Tiziana.; Steffen, Bernhard.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Artificial Intelligence.
Computer software- Verification
Computer System Implementation.
Blockchains (Databases)