[IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS) -...

  • Main
  • [IEEE 2019 Ivannikov Ispras Open...

[IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS) - Moscow, Russia (2019.12.5-2019.12.6)] 2019 Ivannikov Ispras Open Conference (ISPRAS) - SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study

Malyshev, Nikita, Dudina, Irina, Kutz, Daniil, Novikov, Alexander, Vartanov, Sergey
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Année:
2019
DOI:
10.1109/ispras47671.2019.00008
Fichier:
PDF, 4.30 MB
2019
La conversion en est effectuée
La conversion en a échoué