Электронный каталог

Статья

Кулямин, В.В.
Интеграция методов верификации программных систем / В.В.Кулямин // Программирование. – 2009. – No.4. – с.41-55. – URL: http://www.springerlink.com/content/948rh016436g3073/fulltext.pdf. – Библиогр.:80.



Спец.(статьи,препринты) = Ц 840 - Программирование. Общие вопросы