Consistency and Refinement for Partial Specification in Z.

Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen

Browse the full FM paper archive.