=Volume=
{{Volume
|number=3725
|storemode=property
|wikidataid=Q129053600
|title=Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories
|acronym=SMT 2024
|url=http://ceur-ws.org/Vol-3725/
|date=2024-07-11
|urn=urn:nbn:de:0074-1155-8
}}