Login / Signup
Aïssata Maiga
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Special Case
Database Systems
Cooperative
Top Venues
FTSCS
</>
Publications
</>
Aïssata Maiga
,
Cyrille Artho
,
Florian Gilcher
,
Yannick Moy
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.
FTSCS
(2023)