=Volume=
{{Volume
|number=3311
|storemode=property
|wikidataid=Q115923667
|title=Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
|acronym=OVERLAY 2022
|url=http://ceur-ws.org/Vol-3311/
|date=2022-12-28
|dblp=conf/aiia/2022overlay
|k10plus=1837746672
|urn=urn:nbn:de:0074-1155-8
}}