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. pp. 2074-2077
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| ISBN: | 979-8-3503-2996-4 |
| Place of Publication: | Piscataway, NJ |
| Language: | English |
| Item ID: | 121621 |
| Date Deposited: | 25. Sep 2024 06:34 |
| Last Modified: | 25. Sep 2024 06:34 |
Actions (login required)
- View Item
