Login / Signup

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

Moshe DeutschMartin C. Henson
Published in: APSEC (2005)
Keyphrases