* 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
* 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: