Demo: Specy Network - Trusted Multichain Automation with Verifiable Specifications.

Shaojie Liu, Hongbo Zhao, Han Liu

Browse the full ICDCS paper archive.