Cita APA (7th ed.)

Wu, Y. (2026). rvsail v0.16.0 — FMCAD 2026 artifact: BOOM v3 ISA-Compliance proof bundle. Zenodo.

Cita Chicago (17th ed.)

Wu, Yi-De. Rvsail V0.16.0 — FMCAD 2026 Artifact: BOOM V3 ISA-Compliance Proof Bundle. Zenodo, 2026.

Cita MLA (9th ed.)

Wu, Yi-De. Rvsail V0.16.0 — FMCAD 2026 Artifact: BOOM V3 ISA-Compliance Proof Bundle. Zenodo, 2026.

Atenció: Aquestes cites poden no estar 100% correctes.