APA (7th ed.) Citation

Archvadze, N., Pkhovelishvili, M., Shetsiruli, L., & Ioseliani, O. (2016). Usage of Logic for Parallel Verification of Haskel Programs. Computer Science & Telecommunications, 50(4), 86.

Chicago Style (17th ed.) Citation

Archvadze, Natela, Merab Pkhovelishvili, Lia Shetsiruli, and Otar Ioseliani. "Usage of Logic for Parallel Verification of Haskel Programs." Computer Science & Telecommunications 50, no. 4 (2016): 86.

MLA (9th ed.) Citation

Archvadze, Natela, et al. "Usage of Logic for Parallel Verification of Haskel Programs." Computer Science & Telecommunications, vol. 50, no. 4, 2016, p. 86.