Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. - Aïssata Maiga; Cyrille Artho; Florian Gilcher; Yannick Moy (FTSCS, 2023)