Вы здесь

Okamura Yo.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007 2007 Lecture Notes in Computer Science
  1. Namjoshi K. S.
  2. Yoneda T.
  3. Higashino T.
  4. Okamura Yo.
05.03.2008