Name Card

Full name Familienname, Vorname
Krulj, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Krulj Stefan - 2020 - Eine Entscheidungsprozedur fuer Separation-Logic mit Daten.pdf.jpgKrulj, Stefan Eine Entscheidungsprozedur für Separation-Logic mit DatenThesis Hochschulschrift 2020