Вы здесь

Главная

De Boer F. S.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods for Components and Objects: Proc./First Intern. Symp., FMCO 2002, Leiden, The Netherlands, November 2002 2003 Lecture Notes in Computer Science
  1. De Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 15.01.2004
СБ Formal Methods for Components and Objects: Revised Papers/6th International Symposium, FMCO 2007. Amsterdam, The Netherlands, October 2007 2008 Lecture Notes in Computer Science
  1. De Boer F. S.
  2. Bonsangue M. M.
  3. Graf S.
  4. De Roever W. -P.
 14.04.2009