Levels of abstraction and compilers
ACM '76 Proceedings of the 1976 annual conference
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
An operating system for distributed processing: DPPX
IBM Systems Journal
Hi-index | 0.00 |