Для цитирования:

РУДЕНЧИК В.П., АНДРИАНОВ П.С. Уточнение предикатной абстракции при раздельном анализе потоков. Труды Института системного программирования РАН. 2023;35(3):187-204. https://doi.org/10.15514/ISPRAS-2023-35(3)-14

For citation:

RUDENCHIK V.P., ANDRIANOV P.S. Predicate Abstraction Refinement in Thread-Modular Analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2023;35(3):187-204. https://doi.org/10.15514/ISPRAS-2023-35(3)-14