ANNA

MaRDI QIDQ52025swMATHFDO

Official website https://www.springer.com/gp/book/9783540179801

Cited in

(9)

• ANNA. A language for annotating Ada programs. Reference manual
• The definition of Extended ML: A gentle introduction
• scientific article; zbMATH DE number 4080876 (Why is no real title available?)
• scientific article; zbMATH DE number 4185042 (Why is no real title available?)
• Ada95
• PL/I
• Specification and verification challenges for sequential object-oriented programs
• System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings
• scientific article; zbMATH DE number 3978353 (Why is no real title available?)

This page was built for software: ANNA