Name Card

Full name Familienname, Vorname
Kunčak, Viktor
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bucev-2022-Formally Verified Quite OK Image Format-vor.pdf.jpgBucev, Mario ; Kunčak, Viktor Formally Verified Quite OK Image FormatInproceedings Konferenzbeitrag Oct-2022
2Kuncak-2021-Stainless Verification System Tutorial-vor.pdf.jpgKunčak, Viktor ; Hamza, Jad Stainless Verification System TutorialInproceedings Konferenzbeitrag Oct-2021