Name Card

Full name Familienname, Vorname
Park, Sewon
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Park-2025-Making Rabbit Run for Security Verification of Networked System...-vor.pdf.jpgPark, Sewon ; Igarashi, Atsushi Making Rabbit Run for Security Verification of Networked Systems with Unbounded LoopsInproceedings Konferenzbeitrag 2025