BibSonomy :: publication :: UMIST OBJ: A Language for Executable Program Specifications.
    Please log in to take part in the discussion (add own reviews or comments).
      No matching items.

      publications  1