Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Giannakopoulou, Dimitra und Sammlung = ULB Düsseldorf
  • Titelblatt
    Software engineering and formal methods
    12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings
    Giannakopoulou, Dimitra (Hrsg.) ; SEFM <12., 2014, Grenoble>
    Cham [u.a.] : Springer, 2014