| Publication type: |
Article in Proceedings |
| Author: |
F.W. von Henke, D.C. Luckham, B. Krieg-Brückner, O. Owe |
| Editor: |
J.G.P. Barnes, G.A. Fisher, jr |
| Title: |
Semantic Specification of Ada Packages |
| Book / Collection title: |
Ada in Use, Proc. Ada Int´l Conf. 85 (Paris) |
| Page(s): |
185 – 198 |
| Series: |
Ada Companion Series |
| Year published: |
1985 |
| Publisher: |
Cambridge University Press |
| Status: |
Reviewed |
| Last updated: |
29. 12. 2002 |
|
 |