Program verification techniques for xml schema-based technologies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Suad Alagic' in GoogleThis author has not been identified. Look up 'Mark Royer' in GoogleThis author has not been identified. Look up 'David Briggs' in Google

runs on WebDSL