Charilaos Skandylas

Publikationer

2024

Narges Khakpour, Charilaos Skandylas (2024) Compositional Security Analysis of Dynamic Component-based Systems PROCEEDINGS OF 2024 39TH ACM/IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2024, s. 1232-1244 (Konferensbidrag) Vidare till DOI