Suad Alagic, Mark Royer, David Briggs. Program verification techniques for xml schema-based technologies. In Joaquim Filipe, Boris Shishkov, Markus Helfert, editors, ICSOFT 2006, First International Conference on Software and Data Technologies, Setúbal, Portugal, September 11-14, 2006. pages 86-93, INSTICC Press, 2006.
Abstract is missing.