Related Books
Language: en
Pages: 291
Pages: 291
Type: BOOK - Published: 2014-10-13 - Publisher: Springer
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experi
Language: en
Pages: 223
Pages: 223
Type: BOOK - Published: 2017-12-15 - Publisher: Springer
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Exper
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: 212
Pages: 212
Type: BOOK - Published: 2016-11-07 - Publisher: Springer
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experi
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