Symboleo2SC: from legal contract specifications to smart contracts.

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

Browse the full MODELS paper archive.