Komponento specifikacijos formalizavimas - Giedrimas, Vaidas; Lupeikienė, Audronė (Lietuvos matematikos rinkinys, 2004)
Santraukos nėra.