APA (7th ed.) Citation

Merkulov, A. P., Polyakov, S. A., & Belevantsev, A. A. (2018, October). Supporting Java programming in the Svace static analyzer. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Merkulov, A. P., S. A. Polyakov, and A. A. Belevantsev. "Supporting Java Programming in the Svace Static Analyzer." Труды Института системного программирования РАН Oct. 2018.

MLA (9th ed.) Citation

Merkulov, A. P., et al. "Supporting Java Programming in the Svace Static Analyzer." Труды Института системного программирования РАН, Oct. 2018.