Seminary

Seminar VMK MGU po avtomatizacii programmirovaniya
21.02.2003

A.K.Petrenko (institut Sistemnogo programmirovaniya RAN). Testirovanie na osnove formal'nyh specifikacii v processah razrabotki programmnyh kompleksov.

• http://sp.cmc.msu.ru/win/seminar/index.html

Postupilo: 17 fevralya 2003 19:56
Poslednee izmenenie: 18 fevralya 2003 21:56