Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway
View Other Search Results
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok
View Other Search Results