TY  - BOOK
AU  - Huismam, Marieke
TI  - Reasoning about java programming in higher order logic with PVS and Isabelle
T2  - IPA Dissertation series
SN  - 9090144404
U1  - 005.117 
PY  - 2001///
CY  - Utrecht
PB  - IPA
ER  -