Specifications: A Key to Effective Software Development.

P. C. Belford, A. F. Bond, D. G. Henderson, L. S. Sellers

Browse the full ICSE paper archive.