Агафонов Владимир Андреевич

Публикации в базе данных Math-Net.Ru

1. An approach to test program generation for memory coherence verification of “Elbrus” microprocessors
   
   Труды ИСП РАН, 34:2 (2022),  7–16