Tony Hoare: "O trabalho de métodos formais é elucidar as suposições so...
"O trabalho de métodos formais é elucidar as suposições sobre as quais a correção formal depende."
![](/images/authors/t/tony-hoare-52460.jpg)
Versão em inglês
The job of formal methods is to elucidate the assumptions upon which formal correctness depends.
Você pode gostar:
![](/images/authors/j/jesse-owens-25709.jpg)
Jesse Owens
54 Citações e frases
![](/images/authors/r/robert-solow-45557.jpg)
Robert Solow
13 Citações e frases
![](/images/authors/w/william-cartwright-54381.jpg)
William Cartwright
7 Citações e frases
![](/images/authors/m/michael-bastian-37270.jpg)
Michael Bastian
5 Citações e frases
![](/images/authors/d/david-filo-11759.jpg)
David Filo
9 Citações e frases
![](/images/authors/g/george-crabbe-18443.jpg)
George Crabbe
88 Citações e frases
![](/images/authors/i/ibi-kaslik-22195.jpg)
Ibi Kaslik
6 Citações e frases
![](/images/authors/i/issan-dorsey-22633.jpg)
Issan Dorsey
2 Citações e frases
![](/images/authors/l/lynne-rae-perkins-34230.jpg)
Lynne Rae Perkins
41 Citações e frases
![](/images/authors/m/mikhail-margelov-38304.jpg)
Mikhail Margelov
1 Citações e frases
![](/images/authors/r/rae-morris-43197.jpg)
Rae Morris
7 Citações e frases
![](/images/authors/s/sarah-sutton-47603.jpg)
Sarah Sutton
22 Citações e frases