Login / Signup
Yuriy Brun
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 61
Top Topics
Formal Verification
Behavioral Models
Software Systems
E Learning
Top Venues
CoRR
ESEC/SIGSOFT FSE
IEEE Trans. Software Eng.
ICSE
</>
Publications
</>