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 /
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...
| Corporate Authors: | ISoLA (Symposium) Online) |
|---|---|
| Other Authors: | ISoLA (Symposium), Margaria-Steffen, Tiziana, 1964-, Steffen, Bernhard, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2020.
|
| Physical Description: |
1 online resource (xv, 490 pages) : illustrations (some color). |
| Series: |
LNCS sublibrary. Theoretical computer science and general issues ;
12478. Lecture notes in computer science ; 12478. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |