Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.
All Editions of Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part By Tiziana Margaria
