> Detailanzeige

Bordis, Tabea [Verfasser:in]; Cleophas, Loek [Verfasser:in]; Kittelmann, Alexander [Verfasser:in]; Runge, Tobias [Verfasser:in]; Schaefer, Ina [Verfasser:in]; Watson, Bruce W. [Verfasser:in]

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel; E-Artikel; Sonstige Veröffentlichung
  • Titel: Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
  • Beteiligte: Bordis, Tabea [Verfasser:in]; Cleophas, Loek [Verfasser:in]; Kittelmann, Alexander [Verfasser:in]; Runge, Tobias [Verfasser:in]; Schaefer, Ina [Verfasser:in]; Watson, Bruce W. [Verfasser:in]
  • Erschienen: Springer International Publishing, 2022-11-15
  • Sprache: Englisch
  • DOI: https://doi.org/10.5445/IR/1000152656/post; https://doi.org/10.1007/978-3-031-08166-8_5
  • ISBN: 978-3-031-08166-8
  • ISSN: 0302-9743
  • Schlagwörter: DATA processing & computer science
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Zugangsstatus: Freier Zugang