Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24
View Other Search Results
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Verification and Evaluation of Computer and Communication Systems 12th International Conference
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: