David Briggs (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Suad Alagic, Mark Royer, David Briggs: Verification Theories for XML Schema. BNCOD 2006: 262-265

3 Suad Alagic, Mark Royer, David Briggs: Program verification techniques for xml schema-based technologies. ICSOFT (2) 2006: 86-93

Selection of 2 from 7 records - David Briggs has 7 coauthors

4		Suad Alagic, Mark Royer, David Briggs: Verification Theories for XML Schema. BNCOD 2006: 262-265
3		Suad Alagic, Mark Royer, David Briggs: Program verification techniques for xml schema-based technologies. ICSOFT (2) 2006: 86-93