I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Appl..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
Maiga, Aïssata ; Artho, Cyrille ; Gilcher, Florian. - p. 37-47 , 2023
Link: https://dl.acm.org/doi/10.1145/3623503.3623534