Login / Signup

On the Completeness of the Inductive Assertion Method.

J. W. de BakkerLambert G. L. T. Meertens
Published in: J. Comput. Syst. Sci. (1975)
Keyphrases