Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin

Fri, Oct 2, 2020, 12:00 AM

Learn about the K's background and the Solidity semantics in the K framework.