Related Books
Language: en
Pages: 881
Pages: 881
Type: BOOK - Published: 2008-11-05 - Publisher: Springer Science & Business Media
This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and
Language: en
Pages: 522
Pages: 522
Type: BOOK - Published: 2011-03-13 - Publisher: Springer
Language: en
Pages: 537
Pages: 537
Type: BOOK - Published: 2018-10-29 - Publisher: Springer
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
Language: en
Pages: 501
Pages: 501
Type: BOOK - Published: 2018-10-29 - Publisher: Springer
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
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
