=Volume=
{{Volume
|number=372
|storemode=property
|wikidataid=Q113545789
|title=VERIFY'08 5th International Verification Workshop
|acronym=VERIFY'08
|url=http://ceur-ws.org/Vol-372/
|date=2008-08-11
|dblp=conf/cade/2008verify
|urn=urn:nbn:de:0074-1155-8
}}