APA (7th ed.) Citation

Bezverha, M., & Protsyk, P. (2026). Specification Based Program Construction and Verification in Composition-Nominative Language CNLS. PROBLEMS IN PROGRAMMING, 2-3, 340-348.

Chicago Style (17th ed.) Citation

Bezverha, M.A, and P.P Protsyk. "Specification Based Program Construction and Verification in Composition-Nominative Language CNLS." PROBLEMS IN PROGRAMMING 2-3 (2026): 340-348.

MLA (8th ed.) Citation

Bezverha, M.A, and P.P Protsyk. "Specification Based Program Construction and Verification in Composition-Nominative Language CNLS." PROBLEMS IN PROGRAMMING, 2-3, 2026, pp. 340-348.

Warning: These citations may not always be 100% accurate.