APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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