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

    Using symbolic execution for verifying safety-critical systems. по Coen-Porisini, Alberto

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

    Using symbolic execution for verifying safety-critical systems.

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