Filter by: Subject
Now showing items 1-5 of 1
| EPSRC GR/M/02583 (1) |
| object-oriented (1) |
| refinement calculus (1) |
| semantics (1) |
| temporal agent model (1) |
| EPSRC GR/M/02583 (1) |
| object-oriented (1) |
| refinement calculus (1) |
| semantics (1) |
| temporal agent model (1) |