Items where Author is "Krucker, Rafael"

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

Thesis

Krucker, Rafael and Schaden, Markus (2017) Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

Krucker, Rafael and Schaden, Markus (2016) Study on Concurrency Checking in .NET. Student Research Project thesis, HSR Hochschule für Technik Rapperswil.

This list was generated on Fri Apr 19 22:23:45 2024 UTC.