Letichevsky, A., Letichevsky, O., Peschanenko, V., & Guba, A. (2025). Deductive verification of requirements for event-driven architecture. PROBLEMS IN PROGRAMMING.
Chicago Style (17th ed.) CitationLetichevsky, A.A, O.O Letichevsky, V.S Peschanenko, and A.A Guba. Deductive Verification of Requirements for Event-driven Architecture. PROBLEMS IN PROGRAMMING, 2025.
MLA (8th ed.) CitationLetichevsky, A.A, et al. Deductive Verification of Requirements for Event-driven Architecture. PROBLEMS IN PROGRAMMING, 2025.
Warning: These citations may not always be 100% accurate.