Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2010

Ключевые слова:

verifying compiler

автоматический

верификация

реализация

Стр.:

P.139-154

Выпуск:

31

Библиография:

Bibliogr.: p.149-150

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2.

Shilov N., Bodin E., Shilova S..

Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler// Bulletin of the Novosibirsk Computing Center-2010.-P.139-154-(Computer Science).
Bibliogr.: p.149-150

Таблица в старой библиотеке:

PAP31 601