Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 06.2022 |
| Sprache | Englisch |
| Identifikator | ISSN: 2590-1184, 2665-9182 KITopen-ID: 1000147987 |
| Erschienen in | Journal of Computer Languages |
| Verlag | Elsevier |
| Band | 70 |
| Seiten | Art.-Nr.: 101119 |
| Nachgewiesen in | Dimensions Scopus Web of Science |