Program verification techniques for xml schema-based technologies.

Suad Alagic Mark Royer David Briggs Program verification techniques for xml schema-based technologies. 86-93 2006 conf/icsoft/2006 ICSOFT (2) db/conf/icsoft/icsoft2006-2.html#AlagicRB06