Srinivasan, P., Kapritsos, M., & Manerkar, Y. A. (2026). täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version).
Style de citation Chicago (17e éd.)Srinivasan, Pranav, Manos Kapritsos, et Yatin A. Manerkar. TäkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version). 2026.
Style de citation MLA (9e éd.)Srinivasan, Pranav, et al. TäkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version). 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.