FM 2015: Formal Methods

Format:

e-book

Title:

FM 2015: Formal Methods

Author:

Bjørner; Bjørner, Nikolaj; de Boer, Frank

Language:

English

Publisher:

Springer International Publishing 2015

ISBN:

3-319-19248-5
3-319-19249-3

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000416867?locale=en