Seminary

Seminar VMK MGU po avtomatizacii programmirovaniya
21.03.2003

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

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

Postupilo: 23 marta 2003 18:52
Poslednee izmenenie: 23 marta 2003 18:52