Validating The Utility Of Abstraction Techniques
ACM '78 Proceedings of the 1978 annual conference
A Report On The Development Of Gypsy
ACM '78 Proceedings of the 1978 annual conference
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Generics and verification in Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Hi-index | 0.00 |