Cita APA (7a ed.)

Griffin, M., Dongol, B., & Raad, A. (2025). IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version).

Cita Chicago Style (17a ed.)

Griffin, Matt, Brijesh Dongol, y Azalea Raad. IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). 2025.

Cita MLA (9a ed.)

Griffin, Matt, et al. IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). 2025.