Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aïssata Maiga
conf.researchr.org general profile
SPLASH 2023 profile
Not registered as user
Name:
Aïssata Maiga
Country:
Sweden
Contributions
2023
FTSCS
Author of Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library within the FTSCS 2023-track
Share
x
Thu 22 May 23:24
