Formal specification as a design tool (1980)

Cached

Download Links

by John Guttag , J. J. Horning
Venue:Proc. 7th ACM Symp. on Principles of Programming Languages, Las Vegas
Citations:38 - 2 self