Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Calinescu, Radu C. und Sammlung = ULB Düsseldorf
  • 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