Random Quote

* Formal specifications yield correct programs.

No.  Formal specifications yield PhD theses.  They may also occasionally yield programs as by-products, but no useful ones.

-- Ronald F. Guilmette

Get a random quote in one of the following formats: