This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Overview of Anna, a Specification Language for Ada
March/April 1985 (vol. 2 no. 2)
pp. 9-22
D.C. Luckham, Stanford University
The Anna approach to specification language design strengthens the existing explanatory constructs in Ada and adds new ones where there is an obvious need.
Citation:
D.C. Luckham, F.W. Von Henke, "An Overview of Anna, a Specification Language for Ada," IEEE Software, vol. 2, no. 2, pp. 9-22, March-April 1985, doi:10.1109/MS.1985.230345
Usage of this product signifies your acceptance of the Terms of Use.