Correctness

#86 Tomas Petricek, Software Correctness

Tomas Petricek talks about software correctness, its history and future.