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