Verification from Declarative Specifications Using Logic Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello. Verification from Declarative Specifications Using Logic Programming. In Maria Garcia de la Banda, Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings. Volume 5366 of Lecture Notes in Computer Science, pages 440-454, Springer, 2008. [doi]

This author has not been identified. Look up 'Marco Montali' in GoogleThis author has not been identified. Look up 'Paolo Torroni' in GoogleThis author has not been identified. Look up 'Marco Alberti' in GoogleThis author has not been identified. Look up 'Federico Chesani' in GoogleThis author has not been identified. Look up 'Marco Gavanelli' in GoogleThis author has not been identified. Look up 'Evelina Lamma' in GoogleThis author has not been identified. Look up 'Paola Mello' in Google

runs on WebDSL