Статья
Генерация слабейших предусловий программ с динамической памятью в символьном исполнении
Октябрь 2022