Для цитирования: Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. Верификация C-программ в мультиязыковой системе СПЕКТР. Моделирование и анализ информационных систем. 2010;17(4):88-100. https://doi.org/10.18255/1818-1015-2010-4-88-100

For citation: Nepomniashy V.A., Anureev I.S., Atuchin M.M., Maryasov I.V., Petrov A.A., Promsky A.V. C Program Verication in the Multilanguage System Spectrum. Modeling and Analysis of Information Systems. 2010;17(4):88-100. (In Russ.) https://doi.org/10.18255/1818-1015-2010-4-88-100