A Web-Based Environment for the Specification and Generation of Smart Legal Contracts. - Regan Meloche; Durga Sivakumar; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (CoRR, 2025)