Login / Signup

Data refinement and singleton failures refinement are not equivalent.

Steve ReevesDavid Streader
Published in: Formal Aspects Comput. (2008)
Keyphrases