Solidity Lab

HouseRental.sol is an example smartcontract meant to be a close to direct translation of a generic legal house rental contract to show how a legal contract can be translated.

@misc{mourouzis2019introduction,
    title={Introduction to Decentralization and Smart Contracts},
    author={Theodosis Mourouzis and Jayant Tandon},
    year={2019},
    eprint={1903.04806},
    archivePrefix={arXiv},
    primaryClass={cs.CR}
}