VEGA PROJECT N° 1/9026/02: FORMAL SPECIFICATION OF THE SOFTWARE LIFE CYCLE PROCESSES

Bibliographic Details
Main Authors:	Havlice, Zdeněk, 1958- (Author), Telepovská, Henrieta, 1958- (Author), Genči, Ján (Author), Krokavec, Milan, 1940- (Author), Šujanský, Milan, 1941- (Author), Chladný, Vladimír (Author)
Format:	Article
Language:	English

Similar Items