2 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 /

Search Tools: