=Volume=
{{Volume
|number=2908
|storemode=property
|wikidataid=Q113542127
|title=Proceedings of the 19th International Workshop on Satisfiability Modulo Theories
|acronym=SMT 2021
|url=http://ceur-ws.org/Vol-2908/
|date=2021-07-15
|dblp=conf/smt/2021
|k10plus=1771765194
|urn=urn:nbn:de:0074-1155-8
}}