=Volume=
{{Volume
|number=3507
|storemode=property
|wikidataid=Q123527826
|title=Proceedings of the Workshop on Applications of Formal Methods and Digital Twins
|acronym=FMDT 2023
|url=http://ceur-ws.org/Vol-3507/
|date=2023-10-16
|dblp=conf/fm/2023fmdt
|k10plus=1876021373
|urn=urn:nbn:de:0074-1155-8
}}