=Volume=
{{Volume
|number=2854
|storemode=property
|wikidataid=Q113542194
|title=Proceedings of the 18th International Workshop on Satisfiability Modulo Theories
|acronym=SMT 2020
|url=http://ceur-ws.org/Vol-2854/
|date=2021-04-23
|dblp=conf/smt/2020
|k10plus=1761250264
|urn=urn:nbn:de:0074-1155-8
}}