Suchergebnis

zu den Filteroptionen
Suche nach: Schlagwort = Softwaretest 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
  • Titelblatt
    Software engineering and formal methods
    13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings
    Calinescu, Radu C. (Hrsg.) ; SEFM <13., 2015, York>
    Cham [u.a.] : Springer, 2015