Skip to main content

Verification from Declarative Specifications Using Logic Programming

Posted in
Title{Verification from Declarative Specifications Using Logic Programming}
Publication TypeConference Paper
Year of Publication2008
AuthorsMontali, M., M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni
EditorBanda, G. D. L. M., and E. Pontelli
Conference Name24th International Conference on Logic Programming (ICLP)
PublisherSpringer