Towards Verifying Semistructured Data.

Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-Jin Lee

Browse the full APCCM paper archive.