WOSCA

WOSCA 2021 with ECOOP and ISSTA 2021

WOSCA’21 has been cancelled. Smart contracts are versatile instruments that can not only facilitate and verify transactions in financial services, but also track the movement of physical goods and intellectual property. Security and correctness are essential for smart contract technology, because contracts possess the authority to allocate high-value resources between complex systems and are, for the most part, ...