Vol-3325⫷ Vol-3326 ⫸Vol-3327
urn:nbn:de:0074-3326-0


Vol-3326/ARQNL2022_paper5⫷Vol-3326/ARQNL2022_paper6
Xavier ParentChristoph Benzmüller

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