Searching for authors named "Robert Colvin" – sorted by Relevance.
-
A Declarative Semantics for Logic Program Refinement
- Paul Strooper Robert Colvin October 2000 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http
- Add To MetaCart
-
A Tool for Refining Logic Programs
- Queensland 4072 Australia TECHNICAL REPORT No. 97-32 A Tool for Refining Logic Programs Robert Colvin Ian
- Cited by 2 (2 self) – Add To MetaCart
-
Formal verification of a lazy concurrent list-based set
- Formal Verification of a Lazy Concurrent List-Based Set Algorithm Robert Colvin 1 , Lindsay Groves
- Cited by 7 (1 self) – Add To MetaCart

