A proposal for a handbook for APL program verification

• Authors:

• Susan L. Gerhart;Richard J. Orgass

• Affiliations:

• Duke University, Durham, North Carolina;University of Arizona, Tucson, Arizona

• Venue:
• ACM SIGAPL APL Quote Quad
• Year:
• 1974