• Sign in
  • Sign up
conf.researchr.org / Florian Gilcher
  • HILT'22 - Supporting a Rigorous Approach to Software Development profile
  • SPLASH 2023 profile
No Photo

Registered user since Sat 16 Apr 2022

Name:Florian Gilcher
Country:Germany

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

2022

HILT

  • Committee Member in Program Committee within the HILT 2022-track
Share
xSun 25 May 15:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up