Петров Олег Максимович

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

1. Finding more bugs with software model checking using delta debugging
   
   Труды ИСП РАН, 35:3 (2023),  151–162