> Detailanzeige

Bordis, Tabea [VerfasserIn]; Kodetzki, Maximilian [VerfasserIn]; Runge, Tobias [VerfasserIn]; Schaefer, Ina [VerfasserIn]

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction

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: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht
  • Titel: VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
  • Beteiligte: Bordis, Tabea [VerfasserIn]; Kodetzki, Maximilian [VerfasserIn]; Runge, Tobias [VerfasserIn]; Schaefer, Ina [VerfasserIn]
  • Erschienen: Springer International Publishing, 2023-04-20
  • Sprache: Englisch
  • DOI: https://doi.org/10.5445/IR/1000158023; https://doi.org/10.1007/978-3-031-26236-4_13
  • ISBN: 978-3-031-26236-4
  • ISSN: 0302-9743; 1611-3349
  • Schlagwörter: DATA processing & computer science
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Zugangsstatus: Freier Zugang