{"product_id":"verified-software-theories-tools-and-experiments-6th-international-conference-vstte-2014-vienna-austria-july-17-18-2014-revised-selected-pape-9783319121536","title":"Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape","description":"\u003cp\u003e • Author(s): Dimitra Giannakopoulou\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45282406563991,"sku":"9783319121536","price":3526.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319121536.webp?v=1769302059","url":"https:\/\/atlanticbooks.com\/products\/verified-software-theories-tools-and-experiments-6th-international-conference-vstte-2014-vienna-austria-july-17-18-2014-revised-selected-pape-9783319121536","provider":"Atlantic Books","version":"1.0","type":"link"}