Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
View Other Search Results
Yazar
Poole, Stephen. editor.
Format:
Electronic Resources
Alıntı:
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop
Yazar
Paskevich, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017
Yazar
Piskac, Ruzica. editor.
Format:
Electronic Resources
Alıntı:
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna
Yazar
Itsykson, Vladimir. editor.
Format:
Electronic Resources
Alıntı:
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia
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
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
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: