Travelled to:
1 × Austria
Collaborated with:
A.Vörös Z.Micskei
Talks about:
visual (1) symbol (1) execut (1) tool (1) viz (1)
Person: David Honfi
DBLP: Honfi:David
Contributed to:
Wrote 1 papers:
- ICST-2015-HonfiVM #execution #named #symbolic computation #visualisation
- SEViz: A Tool for Visualizing Symbolic Execution (DH, AV, ZM), pp. 1–8.