The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: Fundamenta Informaticae
Editors:MISSING
Book#: 0169-2968
Publisher:MISSING
Volume:21/3
Pages: 163-183

Journal Paper #752

Title:Expressing Program Requirements Using Refinement Lattices
Authors:Robertson,DS; Agusti,J; Hesketh,J; Levy,J
Date:Sep 1994
Presented:
Keywords:








[Search These Pages] [DAI Home Page] [Comment]