Для цитирования:
Ефимов В.Ю., Беззубиков А.А., Богомолов Д.А., Горемыкин О.В., Падарян В.А. Автоматизация разработки моделей устройств и вычислительных машин для QEMU. Труды Института системного программирования РАН. 2017;29(6):77-104. https://doi.org/10.15514/ISPRAS-2017-29(6)-4