نتائج البحث

Formal Verification and Code Generation for Solidity Smart Contracts

• Authors : Singh, Neeraj Kumar; Fajge, Akshay, M; Halder, Raju ...

Subjects: Formal methods; Refinement and Proofs; Blockchain

• Source: Distributed Computing to Blockchain: Architecture, Technology, and Applications ; https://hal.science/hal-04019340 ; Rajiv Pandey; Sam Goundar; Shahnaz Fatima. Distributed Computing to Blockchain:

تفاصيل العنوان

Viabilidad de aplicar smart contracts en contrato marco locales de derivados financieros

• Authors : Guerra Posada, Catalina; Uribe Restrepo, Juan Manuel

Subjects: Contratos inteligentes; Contratos marco de derivados financieros; CONTRATOSMedellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees

تفاصيل العنوان

Modeling and verification of smart contracts with Abstract State Machines

• Authors : Braghin, Chiara; Riccobene, Elvinia; Valentini, Simone ...

Subjects: Smart contract; Ethereum Virtual Machine; Modeling

تفاصيل العنوان

Monitoring the Future of Smart Contracts

• Authors : Capretto, Margarita; Ceresa, Martin; Sánchez, César

• Source: Fundamental Approaches to Software Engineering ; Lecture Notes in Computer Science ; page 122-142 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031572586 9783031572593

تفاصيل العنوان

Smart Contracts und das ABGB – zum Vertragsschluss mit Programm- oder Maschinencode

• Authors : Hartlieb, Marie-Therese

• Source: Daten, Plattformen, Smart Contracts ; page 9-100 ; ISBN 9783748916475

تفاصيل العنوان

Translation Certification for Smart Contracts

• Authors : Krijnen, Jacco; Chakravarty, Manuel; Keller, Gabriele ...

Subjects: compilers; verification; Smart contracts

تفاصيل العنوان

PRAVNI OKVIR REGULISANjA PAMETNIH UGOVORA ; LEGAL FRAMEWORK OF REGULATING SMART CONTRACTS

• Authors : Glušac, Danijela

Subjects: smart contracts; blockchain; new technologies

• Source: XVIII MAJSKO SAVETOVANJE - SADAŠNJOST I BUDUĆNOST USLUŽNOG PRAVA

تفاصيل العنوان

Análisis dogmático de los Smart Contracts dentro de los sistemas normativos. Criterios para su implementación

• Authors : Díaz Bolívar, Víctor José; Restrepo Hoyos, Tomás; Echavarría Dapena, Alejandro

Subjects: Contrato inteligente; Negocio jurídico; Ejecución automáticaMedellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees

تفاصيل العنوان

Gli agenti softwares e gli smart contracts

• Authors : paolo gallo;

Subjects: smart contracts agenti softwares

تفاصيل العنوان

Digital Vulnerability of Consumers in the World of Smart Contracts – Is European Private International Law “Digitalised” Enough?

• Authors : Golub, Jura

• Source: The New Shapes of Digital Vulnerability in European Private Law ; page 293-324 ; ISBN 9783748940913

تفاصيل العنوان