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

Промский А.В. Верификация Си-программ: объяснение условий корректности и стандартная библиотека. Моделирование и анализ информационных систем. 2011;18(4):157-167.

For citation:

Promsky A.V. C Program Verification: VC Explanation and the Standard Library. Modeling and Analysis of Information Systems. 2011;18(4):157-167. (In Russ.)