RUS
ENG
Full version
PEOPLE
Agafonov Vladimir Andreevich
Publications in Math-Net.Ru
An approach to test program generation for memory coherence verification of “Elbrus” microprocessors
Proceedings of ISP RAS
,
34
:2 (2022),
7–16
©
Steklov Math. Inst. of RAS
, 2024
