APA (7th ed.) Citation

Poltoratskyi, M., & Volianiuk, A. (2026). Formal model for verification of personalized educational trajectories based on ALLOY. PROBLEMS IN PROGRAMMING.

Chicago Style (17th ed.) Citation

Poltoratskyi, M.Yu, and A.S Volianiuk. Formal Model for Verification of Personalized Educational Trajectories Based on ALLOY. PROBLEMS IN PROGRAMMING, 2026.

MLA (8th ed.) Citation

Poltoratskyi, M.Yu, and A.S Volianiuk. Formal Model for Verification of Personalized Educational Trajectories Based on ALLOY. PROBLEMS IN PROGRAMMING, 2026.

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