Beyond the AI Hype: Guido van Rossum on Python’s Philosophy, Simplicity, and the Future of Programming

Formal Verification of Firmware-Based System-on-Chip Modules (2016)