=Volume=
{{Volume
|number=259
|storemode=property
|wikidataid=Q113545947
|title=VERIFY'07 4th International Verification Workshop
|acronym=VERIFY'07
|url=http://ceur-ws.org/Vol-259/
|date=2007-07-16
|dblp=conf/cade/2007verify
|urn=urn:nbn:de:0074-1155-8
}}