Ralph-Johan Back, Viorel Preoteasa. Reasoning about recursive procedures with parameters. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.