Yazar
Li, Xuandong. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium
View Other Search Results
Yazar
Guan, Nan. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Alferes, Jose Julio. editor.
Format:
Electronic Resources
Alıntı:
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo
Yazar
Gurfinkel, Arie. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San
Yazar
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
Format:
Electronic Resources
Alıntı:
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: