Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings

Cover image: Automated Technology for Verification and Analysis 9783031199912
Rent or Buy eTextbook
$34.92 CAD

The world’s #1 eTextbook reader for students. VitalSource is the leading provider of online textbooks and course materials. More than 15 million users have used our Bookshelf platform over the past year to improve their learning experience and outcomes. With anytime, anywhere access and built-in tools like highlighters, flashcards, and study groups, it’s easy to see why so many students are going digital with Bookshelf.

  • Over 2.7 million titles available from more than 1,000 publishers

  • Over 65,000 customer reviews with an average rating of 9.5

  • Over 5 billion digital pages viewed over the past 12 months

  • Over 7,000 institutions using Bookshelf across 241 countries