Dependable software engineering: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings

Guan, Nan (Editor); Katoen, Joost-Pieter (Editor); Sun, Jun (Editor)

Cham : Springer International Publishing (2019)
Buch, Tagungsband

In: Lecture notes in computer science 11951
Seite(n)/Artikel-Nr.: viii, 138 Seiten : Illustrationen

Einrichtungen

  • Fachgruppe Informatik [120000]
  • Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]

Identifikationsnummern