ANNA
From MaRDI portal
Software:52025
No author found.
Related Items (7)
Unnamed Item ⋮ System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ The definition of Extended ML: A gentle introduction ⋮ ANNA. A language for annotating Ada programs. Reference manual ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for software: ANNA
