Результаты поиска - Thang, Nguyen Truong

  • Отображение 1 - 1 результаты of 1
Отмена результатов
  1. 1

    Specification and verification of inter-component constraints in CTL. по Thang, Nguyen Truong

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


    Значок книги

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