An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement.

Moshe Deutsch, Martin C. Henson

Browse the full APSEC paper archive.