Login / Signup
Luka Miljak
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Model Checking
Small World
Graph Structures
Neural Network
Top Venues
FTfJP@ECOOP
</>
Publications
</>
Luka Miljak
,
Casper Bach Poulsen
,
Flip van Spaendonck
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs.
FTfJP@ECOOP
(2023)