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: |