Руденчик Вероника Павловна

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

1. Bounding thread switches in dynamic analysis of multithreaded programs
   
   Труды ИСП РАН, 37:6(3) (2025),  133–148
2. Predicate abstraction refinement in thread-modular analysis
   
   Труды ИСП РАН, 35:3 (2023),  187–204