Bezverha, M., & Protsyk, P. (2026). Specification Based Program Construction and Verification in Composition-Nominative Language CNLS. PROBLEMS IN PROGRAMMING, 2-3, 340-348.
Chicago-Zitierstil (17. Ausg.)Bezverha, M.A, und P.P Protsyk. "Specification Based Program Construction and Verification in Composition-Nominative Language CNLS." PROBLEMS IN PROGRAMMING 2-3 (2026): 340-348.
MLA-Zitierstil (8. Ausg.)Bezverha, M.A, und P.P Protsyk. "Specification Based Program Construction and Verification in Composition-Nominative Language CNLS." PROBLEMS IN PROGRAMMING, 2-3, 2026, pp. 340-348.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.