swMATH36323MaRDI QIDQ52025FDOQ52025
Author name not available (Why is that?)
Official website: https://www.springer.com/gp/book/9783540179801
Cited In (9)
- 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
- Ada95
- PL/I
- 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
