1 results
Semantical proofs of correctness for programs performing non-deterministic tests on real numbers
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 5 / October 2010
- Published online by Cambridge University Press:
- 27 October 2010, pp. 723-751
-
- Article
- Export citation