Leveraging applications of formal methods, verification and validation verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part I /
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organ...
Full description
Saved in:
| Corporate Authors: |
ISoLA (Symposium) Rhodes, Greece) |
| Other Authors: |
ISoLA (Symposium), Margaria-Steffen, Tiziana, 1964-, Steffen, Bernhard,, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham :
Springer,
[2022]
|
| Physical Description: |
1 online resource (xiii, 598 pages) : illustrations (some color).
|
| Series: |
Lecture notes in computer science ;
13701.
|
| Subjects: |
|