Artifact Details

Title

Some notes on putting formal specifications to productive use

Catalog Number

102653464

Type

Text

Date

1982-06

Author

Guttag, John; Horning, Jim; Wing, Jeannette

Publisher

Xerox PARC (Palo Alto Research Center)

Category

Technical Report

Credit

Gift of Mike Rutenberg

Lot Number

X2295.2002