job-formal-methods-assumptions-upon-formal-correctness-depends

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

0/5 (0)

Tony Hoare's Popular Quotes

0 Comments

Login to join the discussion