Return to Article Details An approach to using event patterns for smart contract modeling Download Download PDF