Вы здесь

Kuncak V.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017 2017 Lecture Notes in Computer Science
  1. Majumdar R.
  2. Kuncak V.
10.08.2017