Some thoughts arising from a language design effort

• Authors:

• Dan Craigen

• Affiliations:

• I. P. Sharp Associates, Ottawa, Ontario, Canada

• Venue:
• ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
• Year:
• 1985