=Volume=
{{Volume
|number=4142
|storemode=property
|wikidataid=None
|title=Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
|acronym=OVERLAY 2025
|url=None
|date=2025-12-22
|urn=urn:nbn:de:0074-1155-8
}}