Yazar
Bultan, Tevfik. author.
Format:
Electronic Resources
Alıntı:
String Analysis for Software Verification and Security Bultan, Tevfik. author.
Yazar
Chekanov, Sergei V. author.
Format:
Electronic Resources
Alıntı:
Numeric Computation and Statistical Data Analysis on the Java Platform Chekanov, Sergei V. author.
View Other Search Results
Yazar
Rival, Xavier. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016
Yazar
Podelski, Andreas. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018
Yazar
Müller-Olm, Markus. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019
Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015
Yazar
Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
Format:
Electronic Resources
Alıntı:
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1
Yazar
Finkbeiner, Bernd. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei
Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune
Yazar
Abate, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: