Name Card

Full name Familienname, Vorname
Blicha, Martin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Blicha-2024-The FMCAD 2024 Student Forum-vor.pdf.jpgBlicha, Martin ; Tsiskaridze, Nestan The FMCAD 2024 Student ForumInproceedings Konferenzbeitrag Oct-2024
214_Incremental Verification by SMT_based Summary Repair.pdf.jpgAsadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti ; Fedyukovich, Grigory ; Sharygina, Natasha Incremental Verification by SMT-based Summary RepairInproceedings Konferenzbeitrag 2020