Lisboa Malaquias, F. (2025). From the Standards to Silicon: Formally Proved Memory Controllers. Zenodo.
Chicago Style (17th ed.) CitationLisboa Malaquias, Felipe. From the Standards to Silicon: Formally Proved Memory Controllers. Zenodo, 2025.
MLA (9th ed.) CitationLisboa Malaquias, Felipe. From the Standards to Silicon: Formally Proved Memory Controllers. Zenodo, 2025.
Warning: These citations may not always be 100% accurate.