Вы здесь

Главная

Havelung K.

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ NASA Formal Methods: Proc./Third International Symposium, NFM 2011, Pasadens,CA,USA, April 2011 2011 Lecture Notes in Computer Science
  1. Bobaru M.
  2. Havelung K.
  3. Holzmann G. J.
  4. Joshi R.
 24.05.2011
СБ Formal Approaches to Software Testing and Runtime Verification: Revised Selected Papers/First Combined International Workshops FATES 2006 and RV 2006, Seattle,WA,USA,August 2006 2006 Lecture Notes in Computer Science
  1. Havelung K.
  2. Nunes M.
  3. Rosu G.
  4. Wolff B.
 10.02.2007