A Verification Logic for Rewriting Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum. A Verification Logic for Rewriting Logic. Journal of Logic and Computation, 15(3):317-352, 2005. [doi]

This author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleThis author has not been identified. Look up 'Isabel Pita' in GoogleThis author has not been identified. Look up 'José Luiz Fiadeiro' in GoogleThis author has not been identified. It may be one of the following persons:

José Meseguer

Look up 'José Meseguer' in GoogleThis author has not been identified. Look up 'T. S. E. Maibaum' in Google

runs on WebDSL