TítuloExpressing Program Requirements Using Refinement Lattices
Publication TypeJournal Article
Year of Publication1994
AuthorsRobertson DStuart, Agustí-Cullell J, Hesketh J, Levy J
JournalFundamenta Informaticae
Volume21
Incidencia3
Paginación163–182
URLhttp://dx.doi.org/10.3233/FI-1994-2131
DOI10.3233/FI-1994-2131