Related Books
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
Language: en
Pages: 517
Pages: 517
Type: BOOK - Published: 2010-10-19 - Publisher: Springer Science & Business Media
The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods,
Language: en
Pages: 219
Pages: 219
Type: BOOK - Published: - Publisher: Springer Nature
Language: en
Pages: 608
Pages: 608
Type: BOOK - Published: 2022-10-19 - Publisher: Springer Nature
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of
Language: en
Pages: 556
Pages: 556
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