The Equivalence Problem and Correctness Formulas for a Simple Class of Programs

Oscar H. Ibarra, Louis E. Rosier. The Equivalence Problem and Correctness Formulas for a Simple Class of Programs. Inf. Comput., 65(1):18-41, April 1985.

Authors

Oscar H. Ibarra

This author has not been identified. Look up 'Oscar H. Ibarra' in Google

Louis E. Rosier

This author has not been identified. Look up 'Louis E. Rosier' in Google