ANNA
From MaRDI portal
Software:52025
swMATH36323MaRDI QIDQ52025FDOQ52025
Author name not available (Why is that?)
Cited In (7)
- System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings
- Title not available (Why is that?)
- Title not available (Why is that?)
- ANNA. A language for annotating Ada programs. Reference manual
- Specification and verification challenges for sequential object-oriented programs
- The definition of Extended ML: A gentle introduction
- Title not available (Why is that?)
This page was built for software: ANNA
