Artikel in einem Konferenzbericht,
SymNav: Visually Assisting Symbolic Execution.
M. Angelini, G. Blasilli, L. Borzacchiello, E. Coppa, D. D'Elia, C. Demetrescu, S. Lenti, S. Nicchi, und G. Santucci.VizSEC, Seite 1-11. IEEE, (2019)
Metadaten
- BibTeX-Schlüssel
- conf/vizsec/AngeliniBBCDDLN19
- Eintragstyp
- inproceedings
- Buchtitel
- VizSEC
- Jahr
- 2019
- Seiten
- 1-11
- Verlag
- IEEE
- BibTeX-Querverweis
- conf/vizsec/2019
- ee
- https://doi.org/10.1109/VizSec48167.2019.9161524
- isbn
- 978-1-7281-3876-3
- URL
- http://dblp.uni-trier.de/db/conf/vizsec/vizsec2019.html#AngeliniBBCDDLN19
Tags
Nutzer
Kommentare und Rezensionenanzeigen / verbergen
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -%0 Conference Paper
%1 conf/vizsec/AngeliniBBCDDLN19
%A Angelini, Marco
%A Blasilli, Graziano
%A Borzacchiello, Luca
%A Coppa, Emilio
%A D'Elia, Daniele Cono
%A Demetrescu, Camil
%A Lenti, Simone
%A Nicchi, Simone
%A Santucci, Giuseppe
%B VizSEC
%D 2019
%E Gove, Robert
%E Arendt, Dustin
%E Kohlhammer, Jörn
%E Angelini, Marco
%E Paul, Celeste Lyn
%E Bryan, Chris
%E McKenna, Sean
%E Prigent, Nicolas
%E Najafi, Parnian
%E Sopan, Awalin
%I IEEE
%K dblp
%P 1-11
%T SymNav: Visually Assisting Symbolic Execution.
%U http://dblp.uni-trier.de/db/conf/vizsec/vizsec2019.html#AngeliniBBCDDLN19
%@ 978-1-7281-3876-3
@inproceedings{conf/vizsec/AngeliniBBCDDLN19,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Angelini, Marco and Blasilli, Graziano and Borzacchiello, Luca and Coppa, Emilio and D'Elia, Daniele Cono and Demetrescu, Camil and Lenti, Simone and Nicchi, Simone and Santucci, Giuseppe},
biburl = {https://www.bibsonomy.org/bibtex/291fe251929b6e01873cea6f8ec7040cc/dblp},
booktitle = {VizSEC},
crossref = {conf/vizsec/2019},
editor = {Gove, Robert and Arendt, Dustin and Kohlhammer, Jörn and Angelini, Marco and Paul, Celeste Lyn and Bryan, Chris and McKenna, Sean and Prigent, Nicolas and Najafi, Parnian and Sopan, Awalin},
ee = {https://doi.org/10.1109/VizSec48167.2019.9161524},
interhash = {b9b342a6bce32b1e4c3ee52a26c7fc4b},
intrahash = {91fe251929b6e01873cea6f8ec7040cc},
isbn = {978-1-7281-3876-3},
keywords = {dblp},
pages = {1-11},
publisher = {IEEE},
timestamp = {2024-04-09T13:00:53.000+0200},
title = {SymNav: Visually Assisting Symbolic Execution.},
url = {http://dblp.uni-trier.de/db/conf/vizsec/vizsec2019.html#AngeliniBBCDDLN19},
year = 2019
}