Florian Gilcher
Orcid: 0009-0002-7870-7359
According to our database1,
Florian Gilcher
authored at least 2 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library.
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023
2011
J. Syst. Softw., 2011