The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Software development and proofs of multi-level security
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Hi-index | 0.00 |