State Constraints and Pathwise Decomposition of Programs
IEEE Transactions on Software Engineering
Ada and C: differences as the language for system programming
ACM SIGAda Ada Letters
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Molecular Objects, Abstract Data Types, and Data Models: A Framework
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
PARTIAL: a tool to monitor the stepwise refinement of Ada programs
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |