Abstract: Over the past decade, different domain-specific languages (DSLs) were proposed to formally specify requirements stated in legal contracts, mainly for analysis but also for code generation.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results