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

Full text!
Type:
e-book
Titel:
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
Auteur:
Margaria; Steffen, Bernhard
Taal:
Engels
Uitgever:
Springer International Publishing 2020
ISBN:
3-030-61361-5
3-030-61362-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:4100000011528424