TY  - BOOK
AU  - Heinz Gaertner
TI  - Challenges Of Verification
SN  - 9780429043321
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9780429043321
ER  -