Статья

Джексон, Дэниэл.
Программы проверяют программы / Д. Джексон // В мире науки = Scientific American : Ежемесячный научно-информационный журнал. – 10/2006. – N10. – С.52-57.


Предметні рубрики = Энергетика, радиоэлектроника : радиоэлектроника : информационная и вычислительная техника : компьютеры и программирование : теория, исследование компьютеров и программирование : программирование : программное обеспечение : качество программного обеспечения (мобильность программного обеспечения, надежность программного обеспечения, совместимость программного обеспечения, достоверность программного обеспечения)