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