Вы здесь

Главная

Hallerstede S.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for Components and Objects: Revised Selected Papers/8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 2009 2010 Lecture Notes in Computer Science
  1. de Boer F. S.
  2. Bonsangue M. M.
  3. Hallerstede S.
  4. Leuschel M.
 10.03.2011