Kogtenkov Aleksandr Valentinovich

Publications in Math-Net.Ru

1. Towards null safety benchmarks for object initialization
   
   Model. Anal. Inform. Sist., 24:6 (2017),  718–729
2. Null safety benchmarks for object initialization
   
   Proceedings of ISP RAS, 29:6 (2017),  135–150
3. Mechanically proved practical local null safety
   
   Proceedings of ISP RAS, 28:5 (2016),  27–54