Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is David Stuart Robertson  [Clear All Filters]
1993
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.