Author

Profile picture
Lindsay Groves
Victoria University of Wellington
Wellington, 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: 344 | Total: 409  | Access Period:
 241-272
HTML
XML
PDF

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

OK