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