Bezverha, M., & Protsyk, P. (2026). Specification Based Program Construction and Verification in Composition-Nominative Language CNLS. PROBLEMS IN PROGRAMMING.
Чикаго стиль цитування (17-те видання)Bezverha, M.A, та P.P Protsyk. Specification Based Program Construction and Verification in Composition-Nominative Language CNLS. PROBLEMS IN PROGRAMMING, 2026.
Стиль цитування MLA (8-ме видання)Bezverha, M.A, та P.P Protsyk. Specification Based Program Construction and Verification in Composition-Nominative Language CNLS. PROBLEMS IN PROGRAMMING, 2026.
Попередження: стилі цитування не завжди правильні на всі 100%.