APA (7th ed.) Citation
Ocampo Herrera, D. I. (2019). Verification of webassembly programs.
Chicago Style (17th ed.) Citation
Ocampo Herrera, Diego Ignacio. Verification of Webassembly Programs. 2019.
MLA (9th ed.) Citation
Ocampo Herrera, Diego Ignacio. Verification of Webassembly Programs. 2019.
Warning: These citations may not always be 100% accurate.