Полноэкранный режим

Для цитирования: Промский А.В. Верификация Си-программ: объяснение условий корректности и стандартная библиотека. Моделирование и анализ информационных систем. 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.)

Просмотров: 46

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)