> 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