Related Books
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 2020-10-28 - Publisher: Springer Nature
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS
Language: en
Pages: 505
Pages: 505
Type: BOOK - Published: 2021-10-11 - Publisher: Springer Nature
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2021 - Publisher:
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen
Language: en
Pages: 498
Pages: 498
Type: BOOK - Published: 2020-10-26 - Publisher: Springer Nature
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, IS