Occurrences in Debugger Specifications (1991)

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