Found 6 books
The Art of Craftsmanship, Innovation, and the Heartbeat of Building a Legacy
Anthony Boyd
Bringing model checking, theorem proving, and formal specification into real development workflows
Anthony Boyd