Отображение 1 - 2 результаты of 2 для поиска '"Predicate abstraction."', время запроса: 0.04сек. Отмена результатов
  1. 1

    Joining dataflow with predicates. по Fischer, Jeffrey

    Опубликовано в: Software engineering notes.
    Статья

    Joining dataflow with predicates.
  2. 2

    Explaining abstract counterexamples. по Chaki, Sagar

    Опубликовано в: Software engineering notes.
    Статья

    Explaining abstract counterexamples.

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