|
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 [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):
| |
| | |
All documents in ORBilu are protected by a user license.