Bezverha, M., & Protsyk, P. (2026). Specification Based Program Construction and Verification in Composition-Nominative Language CNLS. PROBLEMS IN PROGRAMMING.
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, 2026.
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, 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.