Verification from Declarative Specifications Using Logic Programming.

Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello

Browse the full ICLP paper archive.