Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results.

Xavier Parent, Christoph Benzmller

Browse the full CADE paper archive.