Leveraging applications of formal methods, verification and validation : adaptation and learning 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, proceedings. Part III /
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, 474 pages) : illustrations (some color).
|
Series: |
Lecture notes in computer science ;
13703.
|
Subjects: |
|