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
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: