Jeannette M. Wing
-
Programming from specifications
A Specifier's Introduction to Formal Methods
Computer
The term program specification may refer to: