3 results Refine Results
  1. 1
    by Reeves, Steve, 1957-
    Published 1995
    Subjects
    Book
    Save to List
    Saved in:
    Towards an integrated refinement environment for formal program development /
  2. 2
    by Grundy, John C. (John Collis)
    Published 1993
    Subjects
    Book
    Save to List
    Saved in:
    Integrated OO system developing using SPE /
  3. 3
    by Fenwick, S. P.
    Published 1994
    Subjects
    Book
    Save to List
    Saved in:
    Cerno-II : a program visualization system /

Search Tools: