Occurences in Debugger Specifications (1991)

by Yves Bertot
Venue:In Proceedings of the ACM SIGPLAN ’91 Conference on Programming Language Design and Implementation