Вы здесь

Malik Sh.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008 2008 Lecture Notes in Computer Science
  1. Gupta A.
  2. Malik Sh.
26.08.2008