Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.)
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the C...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
[2020]
|
| Series: | Lecture notes in computer science ;
12476. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67 I83 2020
|
|---|---|
| QA76.9.F67 I83 2020 | Available |