The job of formal methods is to elucidate the assumptions upon which formal correctness depends.
Tony HoareRead
1 quotes
1 quotes
The job of formal methods is to elucidate the assumptions upon which formal correctness depends.
Subscribe for the occasional hand-picked quote. No noise.