Login / Signup
A Weaker Precondition for Loops.
H. J. Boom
Published in:
ACM Trans. Program. Lang. Syst. (1982)
Keyphrases
</>
knowledge base
image processing
multi dimensional