4
Published 2014
...International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy)...
Book Electronic