Author

Profile picture
Jing Sun
The University of Auckland
Auckland, New Zealand
1 article by this author
Sort by:
Research Article
Formal Verification of Semistructured Data Models in PVS
Scott Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
10.3217/jucs-015-01-0241
 01-01-2009
 Unique: 346 | Total: 411  | Access Period:
 241-272
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK