René Dávila

According to our database¹, René Dávila authored at least 4 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

OWL Consistency Models in Smart Contracts Design.

[DOI]

Int. J. Comb. Optim. Probl. Informatics, 2026

2025

Consistency in Smart Contracts Design.

[DOI]

Program. Comput. Softw., December, 2025

Smart Contracts Formal Verification: A Systematic Literature Review.

[DOI]

CoRR, October, 2025

2022

Formal Verification of Blockchain Based Tender Systems.

[DOI]

Program. Comput. Softw., 2022