Systematic and Scalable Memory Safety Assurance for Embedded Software Systems
Author
Paschal Chukwuebuka Amusuo
Tech report number
2026-2
Entry type
phdthesis
Publication Date
2026-07-28
Location
A hard-copy of this is in the Papers Cabinet

