Occurrences in Debugger Specifications (1991)

by Yves Bertot
Venue:In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation
Citations:10 - 1 self