FM 2016: Formal Methods

Full text!
Format:
e-book
Title:
FM 2016: Formal Methods
Author:
Fitzgerald; Gnesi, Stefania; Heitmeyer, Constance; Philippou, Anna
Language:
English
Publisher:
Springer International Publishing 2016
ISBN:
3-319-48988-7
3-319-48989-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000981099?locale=en