Title

An Introduction to the Construction and Verification of Alphard Programs

Date of Original Version

12-1976

Type

Conference Proceeding

Rights Management

Can archive pre-print and post-print or publisher's version/PDF

DOI

10.1109/TSE.1976.233830

Comments

IEEE Tr. Software Engineering, SE-2, 4 (December 1976), pp.253-265. Presented at Second Int'l Conference on Software Engineering, October 1976. Original report reprinted in Alphard: Form and Content (Mary Shaw, ed), Springer-Verlag 1981. Named "most influential paper from ICSE-2" at Thirteenth Int'l Conference on Software Engineering, May 1991. http://dx.doi.org/10.1109/TSE.1976.233830