Expressing Program Requirements Using Refinement Lattices.

David Stuart Robertson, Jaume Agust-Cullell, Jane Hesketh, Jordi Levy

Browse the full ISMIS paper archive.