| |||
сепарационная логика (Alex_Odeychuk) | |||
логика разделения (формальная система, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара Alex_Odeychuk) |
separation logic: 1 phrase in 1 subject |
Logic | 1 |