@InProceedings{BirlingEilers26,
author = {E. Birling and M. Eilers},
title = {Towards Cross-Language Verification between {P}ython and {C}},
booktitle = {International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA)},
year="2026",
publisher={Springer},
note = {To appear}
}