Mossberg, M., Manzano, F., Hennenfent, E., Groce, A., Grieco, G., Feist, J., . . . Dinaburg, A. (2019, November). Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 1186-1189. https://doi.org/10.1109/ASE.2019.00133
Chicago-Zitierstil (17. Ausg.)Mossberg, Mark, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, und Artem Dinaburg. "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] Nov. 2019: 1186-1189. https://doi.org/10.1109/ASE.2019.00133.
MLA-Zitierstil (9. Ausg.)Mossberg, Mark, et al. "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], Nov. 2019, pp. 1186-1189, https://doi.org/10.1109/ASE.2019.00133.