Для цитирования: Непомнящий В.А., Ануреев И.С., Атучин М.М., Марьясов И.В., Петров А.А., Промский А.В. Верификация C-программ в мультиязыковой системе СПЕКТР. Моделирование и анализ информационных систем. 2010;17(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.)