共 50 条
- [31] A Unifying Model of Legal Smart Contracts CONCEPTUAL MODELING, ER 2019, 2019, 11788 : 323 - 337
- [32] Specification and analysis of legal contracts with Symboleo Software and Systems Modeling, 2022, 21 (6): : 2395 - 2427
- [35] Automated Consistency Analysis for Legal Contracts MODEL CHECKING SOFTWARE, SPIN 2022, 2022, 13255 : 1 - 23
- [36] SMART CONTRACTS AND THEIR RECOGNITION BY THE LEGAL SYSTEM REVISTA UNIVERSIDAD Y SOCIEDAD, 2022, 14 : 322 - 329
- [37] Specification and analysis of legal contracts with Symboleo SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2395 - 2427
- [40] PIPELINE CONTRACTS - SOME LEGAL CONSIDERATIONS WATER AND WATER ENGINEERING, 1970, 74 (892): : 235 - &