Model Checking Legal Documents.

Daniel Gorn, Sergio Mera, Fernando Schapachnik

Browse the full JURIX paper archive.