Smart Contract Locator (SCL) and Smart Contract Description Language (SCDL).

Andrea Lamparelli, Ghareeb Falazi, Uwe Breitenbcher, Florian Daniel, Frank Leymann

Browse the full ICSOC paper archive.