Ссылки на дипломы и диссертации

Дробинцев П.Д. Интегрированная технология обеспечения качества программных продуктов с помощью верификации и тестирования. Канд. дис. СПГПУ. 2006. 238 с.

Замышляев А.Н. Визуализация недетерминированных сценариев ПО при возвратном проектировании. Дипломная работа. СПбГУ. 2005. 34 с.

Pauly M. Logic for Social Software. PhD Thesis. Amsterdam. 2001. 193 p.