Related Books
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: 274
Pages: 274
Type: BOOK - Published: 2008-09-22 - Publisher: Springer Science & Business Media
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canad
Language: en
Pages: 336
Pages: 336
Type: BOOK - Published: 2012-01-28 - Publisher: Springer
This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphi
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: 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
