M.Sc. Carsten Csiky

	Contact

Publications

2022

• LiquidRust: Refinement Types for Imperative Languages with Ownership
  October 2022 : C. Csiky

Theses worked on

• LiquidRust: Refinement Types for Imperative Languages with Ownership (finished), masters thesis