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