TY  - PAT
CY  - Patent
A1  - Dollin, Christopher
A1  - Leach, Steven
A1  - Oberhauser, Roy
A1  - Dickey, Laura
T1  - Code verification by syntax tree reconstruction
UR  - https://patents.google.com/patent/EP1079303A3/en
SN  - US6594783B1
ER  -