Когтенков Александр Валентинович

Публикации в базе данных Math-Net.Ru

1. Towards null safety benchmarks for object initialization
   
   Модел. и анализ информ. систем, 24:6 (2017),  718–729
2. Null safety benchmarks for object initialization
   
   Труды ИСП РАН, 29:6 (2017),  135–150
3. Mechanically proved practical local null safety
   
   Труды ИСП РАН, 28:5 (2016),  27–54