A Formal Framework for Synthesis and Verification of Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini. A Formal Framework for Synthesis and Verification of Logic Programs. In Kung-Kiu Lau, editor, Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Volume 2042 of Lecture Notes in Computer Science, pages 1-17, Springer, 2000. [doi]

This author has not been identified. Look up 'Alessandro Avellone' in GoogleThis author has not been identified. Look up 'Mauro Ferrari' in GoogleThis author has not been identified. Look up 'Camillo Fiorentini' in Google

runs on WebDSL