APA (7th ed.) Citation

Havlice, Z., Telepovská, H., Genči, J., Krokavec, M., Šujanský, M., & Chladný, V. VEGA PROJECT N° 1/9026/02: FORMAL SPECIFICATION OF THE SOFTWARE LIFE CYCLE PROCESSES.

Chicago Style (17th ed.) Citation

Havlice, Zdeněk, Henrieta Telepovská, Ján Genči, Milan Krokavec, Milan Šujanský, and Vladimír Chladný. VEGA PROJECT N° 1/9026/02: FORMAL SPECIFICATION OF THE SOFTWARE LIFE CYCLE PROCESSES.

MLA (9th ed.) Citation

Havlice, Zdeněk, et al. VEGA PROJECT N° 1/9026/02: FORMAL SPECIFICATION OF THE SOFTWARE LIFE CYCLE PROCESSES.