Suchergebnis

zu den Filteroptionen
Suche nach: Autor / Beteiligte = Bjørner, Nikolaj 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