Отображение 1 - 1 результаты of 1 для поиска 'Dykstra, Josiah', время запроса: 0.01сек. Отмена результатов
  1. 1

    Software verification and validation with destiny a parallel approach to automated theorem proving. по Dykstra, Josiah

    Опубликовано в: Crossroads : the ACM student magazine.
    Статья

    Software verification and validation with destiny a parallel approach to automated theorem proving.

Инструменты поиска: