APA (7th ed.) Citation

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

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, 2026.

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, 2026.

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