Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 ; proceedings


Manuel Núñez, Matthias Güdemann (eds.)
Bok Språk ikke angitt 2015

Detaljer

Bibliotek som har denne