Title
Some notes on putting formal specifications to productive use
Catalog Number
102653464
Type
Document
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