Related Books
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: 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: 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: 599
Pages: 599
Type: BOOK - Published: 2018-10-28 - 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: 265
Pages: 265
Type: BOOK - Published: 2021-08-04 - Publisher: Springer Nature
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISo