JDart: A Dynamic Symbolic Analysis Framework.
Gespeichert in:
| Titel: | JDart: A Dynamic Symbolic Analysis Framework. |
|---|---|
| Autoren: | Luckow, Kasper, Dimjašević, Marko, Giannakopoulou, Dimitra, Howar, Falk, Isberner, Malte, Kahsai, Temesghen, Rakamarić, Zvonimir, Raman, Vishwanath |
| Quelle: | Tools & Algorithms for the Construction & Analysis of Systems (9783662496732); 2016, p442-459, 18p |
| Datenbank: | Complementary Index |
Schreiben Sie den ersten Kommentar!