|
|
|
Kontakt |
|
Veröffentlichungen
2022
-
LiquidRust: Refinement Types for Imperative Languages with Ownership
October 2022 : C. Csiky
Bearbeitete Studien- und Abschlussarbeiten
- LiquidRust: Refinement Types für Rust (abgeschlossen), Masterarbeit