RUS
ENG
Full version
PEOPLE
Petrov Oleg Maximovich
Publications in Math-Net.Ru
Finding more bugs with software model checking using delta debugging
Proceedings of ISP RAS
,
35
:3 (2023),
151–162
©
Steklov Math. Inst. of RAS
, 2024