“Dasturiy kodni avtomatik tekshirish tizimlarining algoritmik yechimlari” nomli ilmiy maqolasi nashr etilgani hamda ilm-fan rivojiga qo‘shgan hissasi uchun