Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Author is David Stuart Robertson  [Clear All Filters]
Conference Paper
Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J.  1993.  Expressing Program Requirements Using Refinement Lattices. Proc. of the 7th Int. Symp. on Metodologies for Intelligent Systems, ISMIS'93.