Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Arguments that Count: Physics, Computing, and Missile Defense, 1949-2012 (Inside Technology)

Computing and Technology Ethics

Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))

Your New Colleague is a Copilot: Aligning Technology, Talent, and Trust (Inside Copilot)