EasyChair Smart Slide
Multi: a Formal Playground for Smart Multi-Contract Interaction
Multi: a Formal Playground for Smart Multi-Contract Interaction