Semantic specification of Ada packages

• Authors:

• Friedrich W. von Henke;David Luckham;Bernd Krieg-Brueckner;Olaf Owe

• Affiliations:

• SRI International, 333 Ravenswood Avenue, Menlo Park CA;Stanford University;University of Bremen, W-Germany;University of Oslo, Norway

• Venue:
• SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
• Year:
• 1985