Publikation:
Formal Program Verification in Java
Datum
2022
Masterarbeit
Etter, M. (2022). Formal Program Verification in Java. https://orix.ost.ch/handle/20.500.14978/20012
Zusammenfassung
Zusätzliche Indizierung
| Departement / Abteilung | |
|---|---|
| Institut/ Bereich | |
| Institution | OST - Ostschweizer Fachhochschule |
| Studienabschluss | Master of Science in Engineering (MSE) |
| Studiengang | Engineering with specialization in Computer Science |
| Titel | Formal Program Verification in Java |
| Autor:in | Etter, Marc |
| Betreuer:in | |
| Datum der Veröffentlichung | 2022 |
| eprints-ID | 1066 |
| Thematische Schwerpunkte | JavaEE IFS (Institute for Software) |
Metriken
Ansichten
2 seit hinterlegt am 2026-06-23
1letzter Monat
Erwerbsdatum: 2026-10-11
Zitationen
Dateien zum Herunterladen
Lade...
Dateigröße730.42 KB
Lizenzbestimmung:
