Conference Talk (Saint Petersburg, Russia)

Two talks—”The Logic of Verification“, and “Testers as Their Own Worst Enemies”—at the Heisenbug Conference in St. Petersburg, Russia.