Some contend that formal specifications are impractical for anything but the shortest programs, because of problems of combinatorial explosion and indeterminacy.
Some contend that formal specifications are impractical for anything but the sh.ortest programs, because of problems of combinatorial explosion and indeterminacy