Letichevsky A., Peschanenko V.
Simple non-deterministic rewriting in verification
Автор: Letichevsky A., Peschanenko V. Вид автора: персона
Мова: Англійська Обсяг: с.97-101
УДК: 004.41
Є складовою частиною документа: Проблеми програмування
| | Назва документа, в якому знаходиться дана частина: | Проблеми програмування |
| | Дата видання документа, в якому знаходиться дана частина: | 2010 |
| | Номер головного документа: | №3 |
Теми документа
|