Research Article
Other versions:
- Article InfoArticle Info
- CiteCite
- MetricsMetrics
- CommentComment
- RelatedRelated
- CitedCited
JUCS - Journal of Universal Computer Science 6(7): 704-730
doi:
10.3217/jucs-006-07-0704
Published:
28 Jul 2000
This article is part of:
Authors
Graeme Smith
- Corresponding author
Software Verification Research Centre, University of Queensland, Australia
Articles by this author in:
CrossRef
|
Google Scholar
Software Verification Research Centre, University of Queensland, Australia
Articles by this author in:
CrossRef
|
Google Scholar
Conflict of interest
The authors have declared that no competing interests exist.
This article is freely available under the J.UCS Open Content License.