Mayur NathaniHow Does The Tezos Blockchain Work?Tezos is designed to create and host Decentralized Applications (DApps) and assets.Jan 18, 2023Jan 18, 2023
Runtime VerificationK-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)by Stephen SkeirikNov 3, 2020Nov 3, 2020