# Don't Review the Code: Formal Specs First Smart Contract Development

- Channel: [Devcon](https://streameth.org/devcon)
- Date: 2026-11-05
- Watch: https://streameth.org/watch/yt--UVRO6RM4ew
- YouTube: https://www.youtube.com/watch?v=-UVRO6RM4ew