Volkov, A. R., & Mandrykin, M. U. (2018, October). Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions. Труды Института системного программирования РАН.
Chicago Style (17th ed.) CitationVolkov, A. R., and M. U. Mandrykin. "Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions." Труды Института системного программирования РАН Oct. 2018.
MLA (9th ed.) CitationVolkov, A. R., and M. U. Mandrykin. "Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions." Труды Института системного программирования РАН, Oct. 2018.
Warning: These citations may not always be 100% accurate.
