FM 2016 : Formal Methods
by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

No description available.
Computer software, developmentSystem design
by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

No description available.