Cited By
View all- Rehman BTomb A(2023)Correctness-by-Construction Meets Refinement TypesProceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3605156.3606449(8-10)Online publication date: 18-Jul-2023
- Falquet GGuyot JNerima L(1985)Simple tools to learn AdaACM SIGAda Ada Letters10.1145/998421.998425IV:6(44-48)Online publication date: 1-May-1985
- Wichmann B(1984)Is Ada too big? A designer answers the criticsCommunications of the ACM10.1145/69610.6961327:2(98-103)Online publication date: 1-Feb-1984
- Show More Cited By