The job of formal methods is to elucidate the assumptions upon which formal correctness depends.
-Tony Hoare
Select a background
More quotes by Tony Hoare
Popular Authors
A curated listing of popular authors.