Вы здесь

Hunt W.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Approach to Systems Verification 1989 Bevier W., Hunt W., Moore J., Young W. J. Automated Reasoning 22.05.1991