Program verification techniques for xml schema-based technologies.

Suad Alagic, Mark Royer, David Briggs

Browse the full ICSoft paper archive.