RUS
ENG
Full version
PEOPLE
Koltunov Dmitry Sergeevich
Publications in Math-Net.Ru
Automated testing of a TCG frontend for Qemu
Proceedings of ISP RAS
,
31
:5 (2019),
7–24
©
Steklov Math. Inst. of RAS
, 2024
