DEVCON1: Contract Oriented Programming Modularity, Extensibility, & Security Custom - Peter Borah
DEVCON1: Rebuilding Enterprise Processes with Blockchains and Smart Contracts - Deloitte
Let Design by Contract Be Your Highest-Valued Design Method
Contracts and functional programming
Design By Contract
Software Extensibility
Learn How To Write Program By Contract With Coding Examples: OOAD Episode 7 | vsdevelopers.io!
CppCon 2018: Alisdair Meredith “Contract Programming in C++(20) (part 2 of 2)”
DEVCON1: Ethereum in the Enterprise Environment - Taylor Gerring
Container edition based on open architecture, flexibility, modularity, and support for standards
DEVCON1: Scalable Blockchains & Asynchronous Programming - Vitalik Buterin
Object-Oriented Programming is Garbage: 3800 SLOC example
DEVCON1: Understanding the Ethereum Blockchain Protocol - Vitalik Buterin
Contracts programming after C++17 - J Daniel Garcia [ACCU 2017]
Lecture 5 Tokens and Smart Contract Architecture
Formal Verification of Smart Contracts: Dr. Christian Reitwiessner - IC3-Ethereum Crypto Boot Camp
Reinventing the Retail Energy Market in the UK - Paul Ellis, Electron and Toby Proctor, Innovate UK
Real-World Smart Contract Development Lessons
CppCon 2018: Alisdair Meredith “Contract Programming in C++(20) (part 1 of 2)”
Designing by Contract: Using Types to Write Safer Code – Thomas Reynolds
Spry - Powerful Scripting System
"Contracts For Getting More Programs Less Wrong" by Rob Simmons
ElixirDaze 2016 - Design by Contract in Elixir: “Let it crash” meets ...
SmartBuilding - Alpesh Doshi - (EN)
Evolution of Smart Contract Security in the Ethereum Ecosystem
![Contracts programming after C++17 - J Daniel Garcia [ACCU 2017]](https://img.youtube.com/vi/IBas3S2HtdU/0.jpg)
