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

Type:

e-book

Titel:

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

Auteur:

Margaria, Tiziana; Steffen, Bernhard

Taal:

Engels

Uitgever:

Springer International Publishing 2021

ISBN:

3-030-83722-X
3-030-83723-8

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000011995105