=Volume=
{{Volume
|number=832
|storemode=property
|wikidataid=Q113545244
|title=Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems
|acronym=DIFTS'11
|url=http://ceur-ws.org/Vol-832/
|date=2012-02-23
|dblp=conf/fmcad/2011difts
|urn=urn:nbn:de:0074-1155-8
}}