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

КАРНОВ А.А., КОРНЫХИН Е.В. Генерация кода исполняемой модели Event-B на языке Python. Труды Института системного программирования РАН. 2025;37(6):119-138. https://doi.org/10.15514/ISPRAS-2025-37(6)-54

For citation:

KARNOV A.A., KORNYKHIN E.V. Generating Event-B Executable Model in Python. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(6):119-138. (In Russ.) https://doi.org/10.15514/ISPRAS-2025-37(6)-54