FM 2014: Formal Methods

Full text!
Format:
e-book
Title:
FM 2014: Formal Methods
Author:
Cliff Jones, Pekka Pihlajasaari, Jun Sun; Pihlajasaari, Pekka; Sun, Jun
Language:
English
Publisher:
Springer International Publishing 2014
ISBN:
3-319-06409-6
3-319-06410-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000106758?locale=en