=Volume=
{{Volume
|number=1130
|storemode=property
|wikidataid=Q113544911
|title=Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems
|acronym=DIFTS'13
|url=http://ceur-ws.org/Vol-1130/
|date=2013-02-24
|dblp=conf/fmcad/2013difts
|k10plus=779653696
|urn=urn:nbn:de:0074-1155-8
}}