FM 2016 : Formal Methods

FM 2016 : Formal Methods
John Fitzgerald, Constance Heitmeyer, Anna Philippou, Stefania Gnesi
Details
- OL Work ID
- OL20718314W
Subjects
Computer software, developmentSystem design

John Fitzgerald, Constance Heitmeyer, Anna Philippou, Stefania Gnesi