Go home now Header Background Image
Submission Procedure
share: |
Follow us

Lindsay Groves
Victoria University of Wellington, New Zealand

S.U.-J. Lee, G. Dobbie, J. Sun, L. Groves:
Formal Verification of Semistructured Data Models in PVS
page 241 - 272
Vol.15 / Issue 1
L. Groves:
Reasoning about Nonblocking Concurrency
page 72 - 111
Vol.15 / Issue 1