Beyer, Dirk
ORCID: https://orcid.org/0000-0003-4832-7662 und Spiessl, Martin ORCID: https://orcid.org/0000-0002-9169-9130
(2023):
LIV. Loop-Invariant Validation using Straight-Line Programs.
38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Echternach, Luxemburg, Sep 11-15, 2023.
In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering,
Piscataway, NJ: IEEE. S. 2074-2077
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| ISBN: | 979-8-3503-2996-4 |
| Ort: | Piscataway, NJ |
| Sprache: | Englisch |
| Dokumenten ID: | 121621 |
| Datum der Veröffentlichung auf Open Access LMU: | 25. Sep. 2024, 06:34 |
| Letzte Änderungen: | 25. Sep. 2024, 06:34 |
- Dokument bearbeiten
