![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 2 | Trevor Hansen, Peter Schachte, Harald Søndergaard: State Joining and Splitting for the Symbolic Execution of Binaries. RV 2009: 76-92 |
Selection of 1 from 2 records - Trevor Hansen has 5 coauthors
Copyright © 2010-01-01 by Michael Ley (ley@uni-trier.de)