Publications
| Publication |
| LiquidRust: Refinement Types for Imperative Languages with Ownership |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Graf |
Students
| Former Students |
|---|
| Carsten Csiky |
masters thesis (finished): LiquidRust: Refinement Types for Imperative Languages with Ownership
Description currently only available in German.