Edinburgh Research Explorer

Prof Don Sannella

PERSONAL CHAIR IN COMPUTER SCIENCE

  1. Common Framework Initiative Working Group

    Sannella, D.

    EU government bodies

    1/11/9831/10/00

    Project: Research

  2. MRG-Mobile Resource Guarantees

    Sannella, D.

    EU government bodies

    1/01/0231/12/04

    Project: Research

  3. OBJECT ORIENTED PROGRAMS LEGO

    Sannella, D.

    UK central government bodies/local authorities, health and hospital authorities

    1/07/9530/03/98

    Project: Research

  4. Proving Properties of Logic Programs

    Bundy, A. & Sannella, D.

    1/10/8530/09/88

    Project: Other (Non-Funded/Miscellaneous)

  5. RESA: Resource Static Analysis

    Aspinall, D. & Sannella, D.

    EPSRC

    1/03/0930/09/10

    Project: Research

Previous 1 2 Next