Search results

    Filter results

  • Full text

  • Document type

  • Organisation

Results: 2
Number of items: 2
  • van Binsbergen, L. T., Liu, L.-C., van Doesburg, R., & van Engers, T. (2020). eFLINT: a domain-specific language for executable norm specifications. In M. Erwig, & J. Gray (Eds.), GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA (pp. 124-136). Association for Computing Machinery. https://doi.org/10.1145/3425898.3426958
  • Open Access
    Liu, L.-C., Sileno, G., & van Engers, T. (2020). Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter. In S. Villata, J. Harašta, & P. Křemen (Eds.), Legal Knowledge and Information Systems: JURIX 2020 : the thirty-third annual conference, Brno, Czech Republic, December 9-11, 2020 (pp. 235-238). (Frontiers in Artificial Intelligence and Applications; Vol. 334). IOS Press. https://doi.org/10.3233/FAIA200872
Page of