✓

@book{Elegance_LNCS_2026,
    title = {On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday},
    authors = {VA},
    isbn = {9783032137111},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-032-13711-1},
    doi = {10.1007/978-3-032-13711-1},
    journal = {Lecture Notes in Computer Science},
    publisher = {Springer Nature Switzerland},
    year = {2026},
    date-added = {2026-1-12 13:20:7 +0100}
}

@book{Elegance_LNCS_2026, title = {On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday}, authors = {VA}, isbn = {9783032137111}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-032-13711-1}, doi = {10.1007/978-3-032-13711-1}, journal = {Lecture Notes in Computer Science}, publisher = {Springer Nature Switzerland}, year = {2026}, date-added = {2026-1-12 13:20:7 +0100} }