Items where Author is "Kistler, Thomas"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.
Thesis
Hess, Marcel and Kistler, Thomas (2020) Enhancing Dafny Support in Visual Studio Code. Other thesis, HSR Hochschule für Technik Rapperswil.
Hess, Marcel and Kistler, Thomas (2019) Dafny Language Server Redesign. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.