Record Type: |
Language materials, printed
: Monograph/item
|
Title/Author: |
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles/ edited by Tiziana Margaria, Bernhard Steffen. |
Reminder of title: |
11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / |
other author: |
Steffen, Bernhard. |
Description: |
XIII, 598 p. 153 illus., 72 illus. in color.online resource. : |
Contained By: |
Springer Nature eBook |
Subject: |
Control Structures and Microprogramming. - |
Online resource: |
https://doi.org/10.1007/978-3-031-19849-6 |
ISBN: |
9783031198496 |