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