Verifying Semistructured Data Normalization Using PVS.

Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves

Browse the full ICECCS paper archive.