Reference : A Theory for Control-Flow Graph Exploration
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/10425
A Theory for Control-Flow Graph Exploration
English
Arlt, Stephan mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Rümmer, Philipp [> >]
Schäf, Martin [> >]
2013
ATVA
Yes
ATVA
from 2013-10-15 to 2013-10-18
http://hdl.handle.net/10993/10425
506-515

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
chp%3A10.1007%2F978-3-319-02444-8_44.pdfPublisher postprint218.33 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.