Login / Signup
Dilian Gurov
ORCID
Publication Activity (10 Years)
Years Active: 1994-2024
Publications (10 Years): 37
Top Topics
Control Flow
Provably Correct
Java Bytecode
Automotive Industry
Top Venues
CoRR
ISoLA (1)
Sci. Comput. Program.
ISoLA (3)
</>
Publications
</>