Verified Software: Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Cover image: Verified Software: Theories, Tools, and Experiments 9783319296128
Rent or Buy eTextbook
S$24.09 SGD

  • Study Tools

    Built-in study tools like highlights and more

  • Read Aloud

    Listen and follow along as Bookshelf reads to you

  • Offline Access

    Access your eTextbook anytime and anywhere

Learn More

VitalSource 25+ Years of Digital Transformation

  • 4500 Institutions

  • 230+ Countries & Territories

  • 10K+ Publishers

  • 18M+ Active Users