Quote

The job of formal methods is to elucidate the assumptions upon which formal correctness depends.

Tony Hoare

Change background

Change font

More quotes by Tony Hoare