APA (7th ed.) Citation

Volkov, A. R., & Mandrykin, M. U. (2018, October). Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Volkov, A. R., and M. U. Mandrykin. "Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions." Труды Института системного программирования РАН Oct. 2018.

MLA (9th ed.) Citation

Volkov, A. R., and M. U. Mandrykin. "Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions." Труды Института системного программирования РАН, Oct. 2018.