Inference Rules for Proving the Equivalence of Recursive Procedures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benny Godlin, Ofer Strichman. Inference Rules for Proving the Equivalence of Recursive Procedures. In Zohar Manna, Doron Peled, editors, Time for Verification, Essays in Memory of Amir Pnueli. Volume 6200 of Lecture Notes in Computer Science, pages 167-184, Springer, 2010. [doi]

This author has not been identified. Look up 'Benny Godlin' in GoogleThis author has not been identified. Look up 'Ofer Strichman' in Google

runs on WebDSL