Now showing items 1-5 of 1

    EPSRC GR/M/02583 (1)
    object-oriented (1)
    refinement calculus (1)
    semantics (1)
    temporal agent model (1)