Related Books
Language: en
Pages: 974
Pages: 974
Type: BOOK - Published: 2016-10-05 - Publisher: Springer
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
Language: en
Pages: 974
Pages: 974
Type: BOOK - Published: 2016 - Publisher:
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
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: 522
Pages: 522
Type: BOOK - Published: 2011-03-13 - Publisher: Springer
Language: en
Pages: 568
Pages: 568
Type: BOOK - Published: 2014-11-20 - Publisher: