Yazar
Ma, Liran. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Sellis, Timos. editor. (orcid)0000-0002-9067-5639
Format:
Electronic Resources
Alıntı:
Computer software.
View Other Search Results
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Bakhshi, Rena. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Zhang, Lin. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Tan, Ying. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Desprez, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China
Arama Sonuçlarını Sınırlandır
Daraltılmış: