Login / Signup

Toward a theory of correct set algorithms.

Thomas G. Windeknecht
Published in: ACM Conference on Computer Science (1988)
Keyphrases