Model-checking legal contracts with SymboleoPC.

Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Browse the full MODELS paper archive.