January 1, 2026· Lecture notes in networks and systems
conference-paper
The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos
Authors:Larissa P. V. Randow *Karin S. KomatiJefferson O. Andrade
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.