Searching for "Expressing Program Requirements Using Refinement Lattices." – sorted by Relevance.
-
Expressing Program Requirements using Refinement Lattices
- Expressing Program Requirements using Refinement Lattices Dave Robertson y, Jaume Agust'i z, Jane
- Cited by 8 (4 self) – Add To MetaCart

