Carlo A. Furia, Kirsten Winter Integrated Formal Methods - Springer Springer 2018 ISBN: 9783319989389 Source: EBOOK