Kogtenkov, A. V. (2018, October). Mechanically Proved Practical Local Null Safety. Труды Института системного программирования РАН.
Chicago Style (17th ed.) CitationKogtenkov, A. V. "Mechanically Proved Practical Local Null Safety." Труды Института системного программирования РАН Oct. 2018.
MLA (9th ed.) CitationKogtenkov, A. V. "Mechanically Proved Practical Local Null Safety." Труды Института системного программирования РАН, Oct. 2018.
Warning: These citations may not always be 100% accurate.
