Griffin, M., Dongol, B., & Raad, A. (2025). IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version).
Style de citation Chicago (17e éd.)Griffin, Matt, Brijesh Dongol, et Azalea Raad. IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). 2025.
Style de citation MLA (9e éd.)Griffin, Matt, et al. IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL (Extended Version). 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.