Record: found
Abstract: not found
Book: not found

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

other

Editor(s): Tiziana Margaria , Bernhard Steffen

Publication date (Print): 2020

Publisher: Springer International Publishing

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Contributors

Tiziana Margaria: (View ORCID Profile)

Bernhard Steffen: (View ORCID Profile)

Book

ISBN (Print): 978-3-030-61466-9

ISBN (Electronic): 978-3-030-61467-6

Publication date (Print): 2020

DOI: 10.1007/978-3-030-61467-6

SO-VID: b6d92ba0-f879-4158-84dc-468c659ffd4e

History

Data availability:

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

Read this book at

Related collections

NeuroImaging Methods

Author and book information

Contributors

Book

History

Comments

Comment on this book

Book chapters

Similar content 2,662