Formal techniques for OO software development

• Authors:

• Pierre America;Derek Coleman;Roger Duke;Doug Lea;Gary Leavens

• Affiliations:

• Philips Research Laboratories;HP-Lab Bristol;University of Queensland;Syracuse University & SUNY-Oswego;Iowa State University

• Venue:
• OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
• Year:
• 1991