Up a level |
Idelberger, Florian and Governatori, Guido and Riveret, RĂ©gis and Sartor, Giovanni (2016) Evaluation of Logic-Based Smart Contracts for Blockchain Systems. In: Rule Technologies. Research, Tools, and Applications - 10th International Symposium, Stony Brook, NY, USA.