Book

FM 2016 : Formal Methods

by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou