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 /
Saved in:
| Meeting name: | ISoLA (Symposium) (9th : 2020 : Online) |
|---|---|
| Imprint: | Cham : Springer, 2020. |
| Description: | 1 online resource (xv, 490 p.) : ill. (some col.). |
| Language: | English |
| Series: | Lecture notes in computer science ; 12478 LNCS sublibrary, SL 1, Theoretical Computer Science and General Issues LNCS sublibrary. SL 1, Theoretical computer science and general issues ; 12478. Lecture notes in computer science ; 12478. LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12609359 |