Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings Núñez, Manuel Heftet / 2015 / Engelsk
