Carlos Villarraga. Formal Verification of Firmware-Based System-on-Chip Modules. PhD thesis, Kaiserslautern University of Technology, Germany, 2017. [doi]
@phdthesis{dnb-16276,
title = {Formal Verification of Firmware-Based System-on-Chip Modules},
author = {Carlos Villarraga},
year = {2017},
url = {http://d-nb.info/112484130X},
researchr = {https://researchr.org/publication/dnb-16276},
cites = {0},
citedby = {0},
school = {Kaiserslautern University of Technology, Germany},
}