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."

Versão em inglês

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

Você pode gostar:

Jesse Owens

54 Citações e frases

Robert Solow

13 Citações e frases

William Cartwright

7 Citações e frases

Michael Bastian

5 Citações e frases

David Filo

9 Citações e frases

George Crabbe

88 Citações e frases

Ibi Kaslik

6 Citações e frases

Issan Dorsey

2 Citações e frases

Lynne Rae Perkins

41 Citações e frases

Mikhail Margelov

1 Citações e frases

Rae Morris

7 Citações e frases

Sarah Sutton

22 Citações e frases