APA (7th ed.) Citation

Letichevsky, A., Letychevskyi, О., Peschanenko, V., & Guba, A. (2013). Deductive verification of requirements for event-driven architecture. Проблеми програмування.

Chicago Style (17th ed.) Citation

Letichevsky, A., О Letychevskyi, V. Peschanenko, and A. Guba. "Deductive Verification of Requirements for Event-driven Architecture." Проблеми програмування 2013.

MLA (8th ed.) Citation

Letichevsky, A., et al. "Deductive Verification of Requirements for Event-driven Architecture." Проблеми програмування, 2013.

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