Для цитирования:

Падарян В.А., Соловьев М.А., Кононов А.И. Моделирование операционной семантики машинных инструкций. Труды Института системного программирования РАН. 2010;19.

For citation:

Padaryan V.A., Soloviev M.A., Kononov A.I. Modeling operational semantics of machine instructions. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;19. (In Russ.)