Ivanov Dmitry Arkadevich

Publications in Math-Net.Ru

1. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Proceedings of ISP RAS, 35:3 (2023),  91–108