Login / Signup
Mikhail A. Belyaev
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 8
Top Topics
Programs Written
Transactional Memory
Highly Optimized
Model Checker
Top Venues
Autom. Control. Comput. Sci.
CoRR
SBST@ICSE
ICST
</>
Publications
</>