Inductive assertion patters for recursive procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maarten M. Fokkinga. Inductive assertion patters for recursive procedures. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 221-233, Springer, 1974.

This author has not been identified. Look up 'Maarten M. Fokkinga' in Google

runs on WebDSL