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.
@inproceedings{AlagicRB06:0,
title = {Program verification techniques for xml schema-based technologies},
author = {Suad Alagic and Mark Royer and David Briggs},
year = {2006},
tags = {rule-based, program verification, XML, XML Schema},
researchr = {https://researchr.org/publication/AlagicRB06%3A0},
cites = {0},
citedby = {0},
pages = {86-93},
booktitle = {ICSOFT 2006, First International Conference on Software and Data Technologies, Setúbal, Portugal, September 11-14, 2006},
editor = {Joaquim Filipe and Boris Shishkov and Markus Helfert},
publisher = {INSTICC Press},
isbn = {972-8865-69-4},
}