Login / Signup
On Legality Assertions in Euclid.
David B. Wortman
Published in:
IEEE Trans. Software Eng. (1979)
Keyphrases
</>
knowledge base