Book

Integrated Formal Methods

by Erika Ábrahám, Marieke Huisman