> Detailanzeige

Kodetzki, Maximilian [Verfasser:in]; Bordis, Tabea [Verfasser:in]; Runge, Tobias [Verfasser:in]; Schaefer, Ina [Verfasser:in]

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines

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: Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
  • Beteiligte: Kodetzki, Maximilian [Verfasser:in]; Bordis, Tabea [Verfasser:in]; Runge, Tobias [Verfasser:in]; Schaefer, Ina [Verfasser:in]
  • Erschienen: Association for Computing Machinery, 2024-02-08
  • Sprache: Englisch
  • DOI: https://doi.org/10.5445/IR/1000168196; https://doi.org/10.1145/3634713.3634714
  • ISBN: 979-8-4007-0877-0
  • Schlagwörter: DATA processing & computer science
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Zugangsstatus: Freier Zugang