Items where Author is "Hess, Marcel"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 3.

Thesis

Dettling, Nerissa and Giesinger, Lukas and Hess, Marcel and Saporitti, Patrizia (2026) Redesign eines Informationsmanagementsystems für die physische Sicherheit. Masters thesis, OST – Ostschweizer Fachhochschule.

Hess, Marcel and Kistler, Thomas (2020) Enhancing Dafny Support in Visual Studio Code. Bachelors thesis, HSR Hochschule für Technik Rapperswil.

Hess, Marcel and Kistler, Thomas (2019) Dafny Language Server Redesign. Other thesis, HSR Hochschule für Technik Rapperswil.

This list was generated on Thu Apr 30 08:00:40 2026 UTC.