Title | Expressing Program Requirements Using Refinement Lattices |
Publication Type | Journal Article |
Year of Publication | 1994 |
Authors | Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J |
Journal | Fundamenta Informaticae |
Volume | 21 |
Issue | 3 |
Pagination | 163–182 |
URL | http://dx.doi.org/10.3233/FI-1994-2131 |
DOI | 10.3233/FI-1994-2131 |