Suchergebnis

zu den Filteroptionen
Suche nach: Schlagwort = Oslo <2015> und Sammlung = ULB Düsseldorf
  • Titelblatt
    FM 2015: Formal methods
    20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings
    Bjørner, Nikolaj (Hrsg.) ; FM <20., 2015, Oslo>
    Cham [u.a.] : Springer, 2015