Login / Signup
Julia Belyakova
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 12
Top Topics
Domain Specific
Verification Method
Computerized Tomography
Definition Language
Top Venues
Proc. ACM Program. Lang.
CoRR
FTfJP@ECOOP
SBLP
</>
Publications
</>