Experience with an Estelle development system

• Authors:

• Anthony Chung;Deepinder Sidhu

• Affiliations:

• Department of Computer Science, University of Maryland - BC, Baltimore, MD and Institute for Advanced Computer Studies, University of Maryland - CP, College Park, MD;Department of Computer Science, University of Maryland - BC, Baltimore, MD and Institute for Advanced Computer Studies, University of Maryland - CP, College Park, MD

• Venue:
• Conference proceedings on Formal methods in software development
• Year:
• 1990