Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence
View Other Search Results
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
View Other Search Results