Related Books
Language: en
Pages: 359
Pages: 359
Type: BOOK - Published: 2018-11-23 - Publisher: Springer
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Expe
Language: en
Pages: 566
Pages: 566
Type: BOOK - Published: 2008-07-07 - Publisher: Springer Science & Business Media
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even Jam
Language: en
Pages: 176
Pages: 176
Type: BOOK - Published: 2023-01-31 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Tr
Language: en
Pages: 232
Pages: 232
Type: BOOK - Published: 2016-02-12 - Publisher: Springer
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experi
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 2020-03-13 - Publisher: Springer Nature
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Expe
