APA (7th ed.) Citation

Kogtenkov, A. V. (2018, October). Mechanically Proved Practical Local Null Safety. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Kogtenkov, A. V. "Mechanically Proved Practical Local Null Safety." Труды Института системного программирования РАН Oct. 2018.

MLA (9th ed.) Citation

Kogtenkov, A. V. "Mechanically Proved Practical Local Null Safety." Труды Института системного программирования РАН, Oct. 2018.