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]
Abstract is missing.