The following pages link to ANNA (Q52025):
Displaying 7 items.
- ANNA. A language for annotating Ada programs. Reference manual (Q578891) (← links)
- System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings (Q1092650) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- (Q3742692) (← links)
- (Q3811680) (← links)
- (Q5750409) (← links)